A Component-Based Formal Language Workbench
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 sp...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2019-12-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1912.10631v1 |
| _version_ | 1818991038144970752 |
|---|---|
| author | Peter D. Mosses |
| author_facet | Peter D. Mosses |
| author_sort | Peter D. Mosses |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-20T20:03:54Z |
| format | Article |
| id | doaj.art-37f18e6839b048dcac81d9f50a19eb18 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-20T20:03:54Z |
| publishDate | 2019-12-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-37f18e6839b048dcac81d9f50a19eb182022-12-21T19:27:59ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802019-12-01310Proc. F-IDE 2019293410.4204/EPTCS.310.4:3A Component-Based Formal Language WorkbenchPeter D. MossesThe 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.http://arxiv.org/pdf/1912.10631v1 |
| spellingShingle | Peter D. Mosses A Component-Based Formal Language Workbench Electronic Proceedings in Theoretical Computer Science |
| title | A Component-Based Formal Language Workbench |
| title_full | A Component-Based Formal Language Workbench |
| title_fullStr | A Component-Based Formal Language Workbench |
| title_full_unstemmed | A Component-Based Formal Language Workbench |
| title_short | A Component-Based Formal Language Workbench |
| title_sort | component based formal language workbench |
| url | http://arxiv.org/pdf/1912.10631v1 |
| work_keys_str_mv | AT peterdmosses acomponentbasedformallanguageworkbench AT peterdmosses componentbasedformallanguageworkbench |