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

Full description

Saved in:

Bibliographic Details
Published in:	Innovations in systems and software engineering Vol. 21; no. 3; pp. 939 - 959
Main Authors:	Körner, Philipp, Mager, Florian, Roßbach, Jan
Format:	Journal Article
Language:	English
Published:	Heidelberg Springer Nature B.V 01.09.2025
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!