A Component-Based Formal Language Workbench

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

2 Citations (Scopus)
27 Downloads (Pure)


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
Number of pages6
Publication statusPublished - 23 Dec 2019
Event5th international workshop on Formal Integrated Development Environment - Porto, Portugal
Duration: 7 Oct 20197 Oct 2019
Conference number: 5

Publication series

NameElectronic Proceedings in Theoretical Computer Science, EPTCS
PublisherOpen Publishing Association
ISSN (Print)2075-2180


Workshop5th international workshop on Formal Integrated Development Environment
Abbreviated titleF-IDE 2019
Internet address


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


Dive into the research topics of 'A Component-Based Formal Language Workbench'. Together they form a unique fingerprint.

Cite this