A case for data-oriented specifications: simpler implementation of B tools and DSLs

Considering programs as data enables powerful meta-programming. One example is Lisp’s macro system, which gives rise to powerful transformations of programs and allows easy implementation of domain-specific languages. Formal specifications, however, usually do not rely on such mechanisms and are mos...

Celý popis

Podrobná bibliografie

Vydáno v:	Innovations in systems and software engineering Ročník 21; číslo 3; s. 939 - 959
Hlavní autoři:	Körner, Philipp, Mager, Florian, Roßbach, Jan
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Heidelberg Springer Nature B.V 01.09.2025
Témata:	Constraints Domain specific languages Formal specifications Java Libraries LISP (programming language) Programming languages Semantics Specification and description languages Syntax
ISSN:	1614-5046, 1614-5054
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!