Fast and Safe Linguistic Abstraction for the Masses

Eelco Visser. Fast and Safe Linguistic Abstraction for the Masses. In A Research Agenda for Formal Methods in the Netherlands. pages 10-11, July 2019. [doi]

Abstract

Language workbenches support the high-level definition of (domain-specific) programming languages and the automatic derivation of implementations from such definitions. The mission of language workbench research is to increase the level of abstraction of language definitions and expand the range of tools that can be generated automatically from language definitions. In this note, I give an overview of research into language workbenches at TU Delft and the perspective of future research.