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

Uložené v:

Podrobná bibliografia
Vydané v:	Innovations in systems and software engineering Ročník 21; číslo 3; s. 939 - 959
Hlavní autori:	Körner, Philipp, Mager, Florian, Roßbach, Jan
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Heidelberg Springer Nature B.V 01.09.2025
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!