Abstract
Effectively applying linguistic abstraction to emerging domains of computation requires the ability to rapidly develop software languages. However, a software language is a complex software system in its own right and can take significant effort to design and implement. We are currently investigating a radical separation of concerns in language definition by designing high-level declarative meta-languages specialized to the various concerns of language definition that can be used as the single source of production quality (incremental) semantic operations and as a model for reasoning about language properties.
| Original language | English |
|---|---|
| Title of host publication | MODULARITY '14 |
| Subtitle of host publication | Proceedings of the companion publication of the 13th international conference on Modularity |
| Place of Publication | New York, NY |
| Publisher | Association for Computing Machinery (ACM) |
| Pages | 1-2 |
| Number of pages | 2 |
| ISBN (Print) | 978-1-4503-2773-2 |
| DOIs | |
| Publication status | Published - 2014 |
| Event | 13th International Conference on Modularity - Lugano, Switzerland Duration: 22 Apr 2014 → 26 Apr 2014 Conference number: 13 |
Conference
| Conference | 13th International Conference on Modularity |
|---|---|
| Abbreviated title | Modularity 2014 |
| Country/Territory | Switzerland |
| City | Lugano |
| Period | 22/04/14 → 26/04/14 |