Natural Semantics of Battle Management Languages

被引：3
|
作者：
Bencik, Marek [1 ]
Dedera, L'ubomir [2 ]
机构：
[1] Base Deployable Commun & Informat Syst, Ruzomberok, Slovakia
[2] Armed Forces Acad Gen MR Stefanik, Dept Informat, Liptovsky Mikulas, Slovakia
来源：
2019 COMMUNICATION AND INFORMATION TECHNOLOGIES (KIT 2019) | 2019年
关键词：
Semantics; domain-specific language; concrete syntax; abstract syntax; natural semantics;
D O I：
10.23919/kit.2019.8883485
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：159 / 162
页数：4
相关论文
共 50 条
12345