PROOF OF EQUIVALENCE OF SEMANTIC METHODS FOR A SELECTED DOMAIN-SPECIFIC LANGUAGE

被引：1

作者：

Steingartner, William ^{[1
]}

Novitzka, Valerie ^{[1
]}

Schreiner, Wolfgang ^{[2
]}

机构：

[1] Tech Univ Kosice, Fac Elect Engn & Informat, Kosice, Slovakia

[2] Johannes Kepler Univ Linz, Res Inst Symbol Computat, Linz, Austria

来源：

JOURNAL OF APPLIED MATHEMATICS AND COMPUTATIONAL MECHANICS | 2024年 / 23卷 / 02期

关键词：

denotational semantics; domain-specific language; language design; natural semantics; proof of equivalence; semantic function; structural induction;

D O I：

10.17512/jamcm.2024.2.07

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

This paper focuses on the formal semantics of programming languages, with a specific focus on Domain-Specific Languages (DSLs). It introduces the Robot DSL, characterized by total semantic functions, an infinite network size, and an obstacle-free environment. The study explores denotational and natural semantics, aiming to define and prove their equivalence. This work contributes to the understanding of programming languages with unique features, laying the groundwork for future developments in language design and formal semantics.

引用

页码：79 / 92

页数：14

共 50 条

[1] Architecture and Language for Semantic Reduction of Domain-Specific Models in BPMS
Lace, Lelde
Liepins, Renars
Rencis, Edgars
[J]. PERSPECTIVES IN BUSINESS INFORMATICS RESEARCH, BIR 2012, 2012, 128 : 70 - 84
[2] A Domain-Specific Language and Editor for Parallel Particle Methods
Karol, Sven
Nett, Tobias
Castrillon, Jeronimo
Sbalzarini, Ivo F.
[J]. ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2018, 44 (03):
[3] A Domain-Specific Language for Microservices
Donham, Jacob
[J]. PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON SCALA (SCALA '18), 2018, : 2 - 12
[4] A semantic representation for domain-specific patterns
Montero, S
Díaz, P
Aedo, I
[J]. METAINFORMATICS, 2005, 3511 : 129 - 140
[5] SiMoNa: A Proof-of-concept Domain-Specific Modeling Language for IoT Infographics
de Morais, Cleber Matos
Kelner, Judith
Sadok, Djamel
Lynn, Theo
[J]. PROCEEDINGS OF THE 52ND ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 2019, : 7108 - 7117
[6] Semiautomatic acquisition of semantic structures for understanding domain-specific natural language queries
Meng, HM
Siu, KC
[J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2002, 14 (01) : 172 - 181
[7] Evaluating the semantic transparency of Guaraná: A domain-specific language for enterprise application integration
Bocanegra, Jose
Frantz, Rafael Z.
Roos-Frantz, Fabricia
Basso, Fabio P.
[J]. Software - Practice and Experience, 2022, 52 (04): : 967 - 983
[8] Evaluating the semantic transparency of Guarana: A domain-specific language for enterprise application integration
Bocanegra, Jose
Frantz, Rafael Z.
Roos-Frantz, Fabricia
Basso, Fabio P.
[J]. SOFTWARE-PRACTICE & EXPERIENCE, 2022, 52 (04): : 967 - 983
[9] A Domain-Specific Language for Aviation Domain Interoperability
Comitz, Paul
[J]. 2013 INTEGRATED COMMUNICATIONS, NAVIGATION AND SURVEILLANCE CONFERENCE (ICNS), 2013,
[10] JAMOOS: A domain-specific language for language processing
Gil, Joseph Yossi
Tsoglin, Yuri
[J]. 2001, University of Zagreb, Faculty of Political Sciences (09)

← 1 2 3 4 5 →