PL
 |
EN

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  proof of equivalence
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Proof of equivalence of semantic methods for a selected domain-specific language
Steingartner William, Novitzka Valerie, Schreiner Wolfgang
Journal of Applied Mathematics and Computational Mechanics
|
2024
|
Vol. 23, nr 2
79--92
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.
Mniej
Więcej
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
first rewind previous Strona / 1 next fast forward last