Proof of equivalence of semantic methods for a selected domain-specific language

• Autorzy: Steingartner William , Novitzka Valerie , Schreiner Wolfgang

Identyfikatory

DOI

10.17512/jamcm.2024.2.07

• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

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

PL

semantyka denotacyjna; język specyficzny dla domeny; projektowanie języka; semantyka naturalna; dowód równoważności; funkcja semantyczna; iniekcja strukturalna

• Wydawca: Wydawnictwo Politechniki Częstochowskiej
• Czasopismo: Journal of Applied Mathematics and Computational Mechanics
• Rocznik: 2024
• Tom: Vol. 23, nr 2
• Strony: 79--92
• Opis fizyczny: Bibliogr. 10 poz., rys.

Twórcy

autor

Steingartner William

• Faculty of Electrical Engineering and Informatics, Technical University of Kosice ˇ Kosice, Slovakia

autor

Novitzka Valerie

• Faculty of Electrical Engineering and Informatics, Technical University of Kosice ˇ Kosice, Slovakia
• [e-mail]

autor

Schreiner Wolfgang

• Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria

Bibliografia

• 1. Mernik, M., Heering, J., & Sloane, A. (2005). When and how to develop domain-specific languages. ACM Computing Surveys, 37, 316-344. DOI: 10.1145/1118890.1118892.
• 2. Voelter, M., et al. (2013). DSL Engineering – Designing, Implementing and Using Domain-Specific Languages. dslbook.org.
• 3. Fowler, M. (2010). Domain-Specific Languages. Molecular Physics.
• 4. Karsai, G., Krahn, H., Pinkernell, C., Rumpe, B., Schindler, M., & Volkel, S. (2014). Design ¨ guidelines for domain specific languages [Available on https://arxiv.org/ftp/arxiv/papers/1409/ 1409.2378.pdf]. CoRR, abs/1409.2378. http://arxiv.org/abs/1409.2378.
• 5. Nordmann, A, Hochgeschwender, N., & Wrede, S. (2014). A survey on domain-specific languages in robotics. In: D. Brugali, J.F. Broenink, T. Kroeger, & B.A. MacDonald (Eds.), Simulation, Modeling, and Programming for Autonomous Robots. Springer International Publishing, 195-206.
• 6. Horpacsi, D., & K ´ oszegi, J. (2015). Formal Semantics [Accessed: 5.01.2022].
• 7. Steingartner, W., & Novitzka, V. (2021). Natural semantics for domain-specific language. ´ New Trends in Database and Information Systems, 181-192.
• 8. Nielson, R.H., & Nielson, F. (2007). Semantics with Applications: An Appetizer. Springer Science & Business Media.
• 9. Stoy, J.E. (1981). Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. The MIT Press. https://mitpressbookstore.com/denotational-semantics.
• 10. Kahn, G. (1987). Natural semantics. STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science. Passau, Germany, February 19-21, 1987, Proceedings, 22-39.