Documents

DOI

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 languageEnglish
Title of host publicationProceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019
EditorsRosemary Monahan, Virgile Prevosto, José Proença
PublisherCornell University Library - arXiv.org
Pages29-34
Number of pages6
Volume310
DOIs
Publication statusPublished - 23 Dec 2019
Event5th international workshop on Formal Integrated Development Environment - Porto, Portugal
Duration: 7 Oct 20197 Oct 2019
Conference number: 5
https://arxiv.org/abs/1912.09611

Publication series

NameEPTCS

Workshop

Workshop5th international workshop on Formal Integrated Development Environment
Abbreviated titleF-IDE 2019
CountryPortugal
CityPorto
Period7/10/197/10/19
Internet address

    Research areas

  • programming languages, formal semantics, IDE, language workbench, components

ID: 69830146