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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Innovations in systems and software engineering Jg. 21; H. 3; S. 939 - 959
Hauptverfasser:	Körner, Philipp, Mager, Florian, Roßbach, Jan
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Heidelberg Springer Nature B.V 01.09.2025
Schlagworte:	Constraints Domain specific languages Formal specifications Java Libraries LISP (programming language) Programming languages Semantics Specification and description languages Syntax
ISSN:	1614-5046, 1614-5054
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!