Natural Semantics of Battle Management Languages
Marek Benčík, Ľubomír Dedera · 2019
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.