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 MoreMetadata
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.
Published in: 2019 Communication and Information Technologies (KIT)
Date of Conference: 09-11 October 2019
Date Added to IEEE Xplore: 28 October 2019
ISBN Information: