Natural Semantics of Battle Management Languages | IEEE Conference Publication | IEEE Xplore

Natural Semantics of Battle Management Languages


Abstract:

This paper shows a way of defining the formal semantics of computer languages in the military application domain (BMLs - Battle Management Languages). In our approach we ...Show More

Abstract:

This paper shows a way of defining the formal semantics of computer languages in the military application domain (BMLs - Battle Management Languages). In our approach we show a way how to adapt natural semantics known as a means of defining formal semantics in the area of general- purpose programming languages to BMLs. By using formal semantics, the mathematical model of BML is created and BML language constructions is assigned unambiguous meaning.
Date of Conference: 09-11 October 2019
Date Added to IEEE Xplore: 28 October 2019
ISBN Information:
Conference Location: Vysoke Tatry, Slovakia

Contact IEEE to Subscribe

References

References is not available for this document.