Bet11 (In proceedings)
|
Author(s) | Lorenzo Bettini |
Title | « A DSL for Writing Type Systems for Xtext Languages » |
In | Proceedings of Principles and Practice of Programming in Java (PPPJ) |
Editor(s) | Christian Wimmer and Christian W. Probst |
Page(s) | 31-40 |
Year | 2011 |
Publisher | ACM |
URL | http://dl.acm.org/citation.cfm?doid=2093157.2093163 |
Abstract |
Xtext is a framework for the development of languages, which also generates all the typical and recurrent artifacts for a fully-fledged IDE on top of Eclipse. The validation (e.g., checking the correctness of programs from the point of view of types) of languages developed in Xtext has to be implemented by the programmer writing Java code. In this paper we present XTypeS (Xtext TypeSystem), a DSL for writing the type system for an Xtext language. A type system definition in XTypeS is a set of rules which act on the elements of the AST of a program, which in Xtext is represented by an EMF model. Then, XTypeS will generate the corresponding Java code that can be used to implement the validation part for a language developed in Xtext. We describe the features of XTypeS by writing the type system of two languages implemented in Xtext: Featherweight Java and lambda calculus. |
@inproceedings{Bet11,
author = {Bettini, Lorenzo},
booktitle = {Proceedings of Principles and Practice of Programming in Java
(PPPJ)},
editor = {Christian Wimmer and Christian W. Probst},
url = {http://dl.acm.org/citation.cfm?doid=2093157.2093163},
abstract = {Xtext is a framework for the development of languages, which also
generates all the typical and recurrent artifacts for a
fully-fledged IDE on top of Eclipse. The validation (e.g.,
checking the correctness of programs from the point of view of
types) of languages developed in Xtext has to be implemented by
the programmer writing Java code. In this paper we present XTypeS
(Xtext TypeSystem), a DSL for writing the type system for an Xtext
language. A type system definition in XTypeS is a set of rules
which act on the elements of the AST of a program, which in Xtext
is represented by an EMF model. Then, XTypeS will generate the
corresponding Java code that can be used to implement the
validation part for a language developed in Xtext. We describe the
features of XTypeS by writing the type system of two languages
implemented in Xtext: Featherweight Java and lambda calculus.},
title = {{A DSL for Writing Type Systems for Xtext Languages}},
publisher = {ACM},
year = {2011},
pages = {31-40},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)