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.
Original language | English |
---|---|
Title of host publication | Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019 |
Editors | Rosemary Monahan, Virgile Prevosto, José Proença |
Publisher | Cornell University Library - arXiv.org |
Pages | 29-34 |
Number of pages | 6 |
Volume | 310 |
DOIs | |
Publication status | Published - 23 Dec 2019 |
Event | 5th international workshop on Formal Integrated Development Environment - Porto, Portugal Duration: 7 Oct 2019 → 7 Oct 2019 Conference number: 5 https://arxiv.org/abs/1912.09611 |
Publication series
Name | Electronic Proceedings in Theoretical Computer Science, EPTCS |
---|---|
Publisher | Open Publishing Association |
ISSN (Print) | 2075-2180 |
Workshop
Workshop | 5th international workshop on Formal Integrated Development Environment |
---|---|
Abbreviated title | F-IDE 2019 |
Country/Territory | Portugal |
City | Porto |
Period | 7/10/19 → 7/10/19 |
Internet address |
Keywords
- programming languages
- formal semantics
- IDE
- language workbench
- components