Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Journal of Applied Mathematics and Computational Mechanics

1 2024

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: dowód równoważności

Sortuj według:

Ogranicz wyniki do:

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

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.