Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

Bet11 (In proceedings)
Author(s) Lorenzo Bettini
Title« A DSL for Writing Type Systems for Xtext Languages »
InProceedings of Principles and Practice of Programming in Java (PPPJ)
Editor(s) Christian Wimmer and Christian W. Probst
Page(s)31-40
Year2011
PublisherACM
URLhttp://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.

BibTeX code

@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},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!