XTypeS (Xtext TypeSystem), a DSL for writing the type system of an Xtext language. A type system definition in XTypeS is a set of rules which act on the elements of the language we write the type system for. Then, XTypeS will generate the corresponding Java code that can be used to implement the scoping and the validator for our language in Xtext.

XTypeS

BETTINI, LORENZO
2010-01-01

Abstract

XTypeS (Xtext TypeSystem), a DSL for writing the type system of an Xtext language. A type system definition in XTypeS is a set of rules which act on the elements of the language we write the type system for. Then, XTypeS will generate the corresponding Java code that can be used to implement the scoping and the validator for our language in Xtext.
2010
0.1
Universita' di Torino.
http://xtypes.sourceforge.net/
Type Systems; DSL; Compiler; Java; Eclipse; IDE.
Lorenzo Bettini
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/133696
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact