Download PDFOpen PDF in browser

A component-based formal language workbench

EasyChair Preprint 1490

6 pagesDate: September 12, 2019

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.

Keyphrases: IDE, Language Workbench, component-based semantics

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@booklet{EasyChair:1490,
  author    = {Peter Mosses},
  title     = {A component-based formal language workbench},
  howpublished = {EasyChair Preprint 1490},
  year      = {EasyChair, 2019}}
Download PDFOpen PDF in browser