March 15, 2025

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

Authors

Philipp Körner, Florian Mager, Jan Roßbach

Venue

STTT

Bibtex

@article{koerner2025-lisb-journal,
  author       = {Philipp Körner and Florian Mager and Jan Roßbach},
  title        = {{A case for data-oriented specifications: simpler implementation of B tools and DSLs}},
  journal      = {International Journal on Software Tools for Technology Transfer},
  year         = {2025},
  volume       = TBD,
  pages        = {TBD},
  note         = {Special Issue on Models/MoDeVVa'22 & SAM'22}

}

Available at:

About

Tags: publications tools B Clojure lisb