Paper

Type
INPROCEEDINGS  
Title
A DSL for Writing Type Systems for Xtext Languages  
Authors
Lorenzo Bettini 
Editors
Christian Wimmer, Christian W. Probst  
Book
Proceedings of Principles and Practice of Programming in Java (PPPJ)  
Pages
31-40  
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.  
Year
2011  
Bibtex key
Bet11  
Paper Url1
http://dl.acm.org/citation.cfm?doid=2093157.2093163  
Bibtex
@INPROCEEDINGS{Bet11,
  title = {{A DSL for Writing Type Systems for Xtext Languages}},
  author = {Bettini, Lorenzo},
  booktitle = {Proceedings of Principles and Practice of Programming in Java (PPPJ)},
  editor = {Christian Wimmer and  Christian W. Probst},
  pages = {31-40},
  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.},
  year = {2011},
  url = {http://dl.acm.org/citation.cfm?doid=2093157.2093163},
  publisher = {ACM},
}
 
Created
2011-10-10 15:32:03  
Modified
2012-01-13 11:36:26