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 条

[21] Natural Semantics for Domain-Specific Language
Steingartner, William
Novitzka, Valerie
[J]. NEW TRENDS IN DATABASE AND INFORMATION SYSTEMS, ADBIS 2021, 2021, 1450 : 181 - 192
[22] PoE: A Domain-Specific Language for Exploitation
Kim, Jung Hyun
Gustaman, Steve
Cha, Sang Kil
[J]. 2024 SILICON VALLEY CYBERSECURITY CONFERENCE, SVCC 2024, 2024,
[23] A domain-specific language for virtual classrooms
Gañán, David
Guerrero-Roldán, Ana-Elena
Prieto-Blázquez, Josep
Conesa, Jordi
[J]. International Journal of Metadata, Semantics and Ontologies, 2014, 9 (04) : 313 - 323
[24] Domain-specific ontology merging for the semantic web
Taylor, JM
Poliakov, D
Mazlack, LJ
[J]. NAFIPS 2005 - 2005 Annual Meeting of the North American Fuzzy Information Processing Society, 2005, : 418 - 423
[25] STATISTICAL ACQUISITION OF DOMAIN-SPECIFIC SEMANTIC GRAMMAR
Li, Chengcheng
Liu, Jianyi
[J]. CIICT 2008: PROCEEDINGS OF CHINA-IRELAND INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATIONS TECHNOLOGIES 2008, 2008, : 74 - +
[26] Statistical acquisition of domain-specific semantic grammar
School of Information Engineering, Beijing University of Posts and Telecommunications, Beijing 100876, China
不详
[J]. Beijing Youdian Daxue Xuebao, 2006, SUPPL. 2 (75-78):
[27] Semantic Lexical Alignment for Domain-specific Ontologies
Abu-Shareha, Ahmad Adel
Mandava, Rajeswari
Ramachandram, Dhanesh
[J]. TENCON 2009 - 2009 IEEE REGION 10 CONFERENCE, VOLS 1-4, 2009, : 1458 - 1464
[28] Metamodelling of domain-specific standards for semantic interoperability
Hasselbring, W
Pedersen, S
[J]. PROFESSIONAL KNOWLEDGE MANAGEMENT, 2005, 3782 : 557 - 559
[29] Semantic extensions to domain-specific markup languages
Varde, A
Rundensteiner, E
Mani, M
Maniruzzaman, M
Sisson, RD
[J]. INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATIONS AND CONTROL TECHNOLOGIES, VOL 2, PROCEEDINGS, 2004, : 55 - 60
[30] Recognizing Transliteration Equivalence for Enriching Domain-Specific Thesauri
Oh, Jong-Hoon
Choi, Key-Sun
[J]. GWC 2006: THIRD INTERNATIONAL WORDNET CONFERENCE, PROCEEDINGS, 2005, : 231 - 237

← 1 2 3 4 5 →