A Component-Based Formal Language Workbench

Peter D. Mosses

The CBS framework supports component-based specification of programming languages. It aims to significantly reduce the effort of formal language specification, and thereby encourage language developers to exploit formal semantics more widely. CBS provides an extensive library of reusable language specification components, facilitating co-evolution of languages and their specifications.

After introducing CBS and its formal definition, this short paper reports work in progress on generating an IDE for CBS from the definition. It also considers the possibility of supporting component-based language specification in other formal language workbenches.

In Rosemary Monahan, Virgile Prevosto and Jose Proença: Proceedings Fifth Workshop on Formal Integrated Development Environment (F-IDE 2019), Porto, Portugal, 7th October 2019, Electronic Proceedings in Theoretical Computer Science 310, pp. 29–34.
Published: 23rd December 2019.

ArXived at: https://dx.doi.org/10.4204/EPTCS.310.4 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org