A Component-Based Formal Language Workbench
Peter D. Mosses
TL;DR
The paper introduces the CBS framework, a component-based approach to formal language specification that aims to reduce effort and promote wider adoption of formal semantics, with ongoing work on IDE generation and broader applicability.
Contribution
It presents a novel component-based framework for formal language specification, including a library of reusable components and initial work on IDE support.
Findings
Development of the CBS framework and its formal definition
Creation of an extensive library of reusable language components
Progress on generating an IDE from CBS specifications
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.