TU Darmstadt / ULB / TUbiblio

A Framework for Extensible Languages

Erdweg, Sebastian ; Rieger, Felix :
A Framework for Extensible Languages.
[Online-Edition: http://erdweg.org/publications/language-extensibility-framew...]
In: Proceedings of Conference on Generative Programming and Component Engineering (GPCE). ACM
[ Konferenzveröffentlichung] , (2013)

Offizielle URL: http://erdweg.org/publications/language-extensibility-framew...

Kurzbeschreibung (Abstract)

Extensible programming languages such as SugarJ or Racket enable programmers to introduce customary language features as extensions of the base language. Traditionally, systems that support language extensions are either (i) agnostic to the base language or (ii) only support a single base language. In this paper, we present a framework for language extensibility that turns a non-extensible language into an extensible language featuring library-based extensible syntax, extensible static analyses, and extensible editor support. To make a language extensible, our framework only requires knowledge of the base language's grammar, the syntax for import statements (which activate extensions), and how to compile base-language programs. We have evaluated the generality of our framework by instantiating it for Java, Haskell, Prolog, JavaScript, and System F-omega, and by studying existing module-system features and their support in our framework.

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2013
Autor(en): Erdweg, Sebastian ; Rieger, Felix
Titel: A Framework for Extensible Languages
Sprache: Englisch
Kurzbeschreibung (Abstract):

Extensible programming languages such as SugarJ or Racket enable programmers to introduce customary language features as extensions of the base language. Traditionally, systems that support language extensions are either (i) agnostic to the base language or (ii) only support a single base language. In this paper, we present a framework for language extensibility that turns a non-extensible language into an extensible language featuring library-based extensible syntax, extensible static analyses, and extensible editor support. To make a language extensible, our framework only requires knowledge of the base language's grammar, the syntax for import statements (which activate extensions), and how to compile base-language programs. We have evaluated the generality of our framework by instantiating it for Java, Haskell, Prolog, JavaScript, and System F-omega, and by studying existing module-system features and their support in our framework.

Verlag: ACM
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Softwaretechnik
Veranstaltungstitel: Proceedings of Conference on Generative Programming and Component Engineering (GPCE)
Hinterlegungsdatum: 07 Apr 2014 14:54
Offizielle URL: http://erdweg.org/publications/language-extensibility-framew...
ID-Nummer: doi:10.1145/2517208.2517210
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen