With the Xtext framework, building domain specific languages (DSLs) integrated into the Eclipse IDE has become increasingly popular and viable even for non-trivial domains. However, sophisticated DSLs may require advanced type checking capabilities, since they usually include expressions, types and the notion of type conformance. In this paper we compare a number of approaches and frameworks for implementing type systems for Xtext languages regarding flexibility, required effort and usability. We use a common case study to illustrate the trade-offs between the various tools.
Approaches and Tools for Implementing Type Systems in Xtext / Bettini, Lorenzo; Stoll, D.; Völter, M.; Colameo, S.. - STAMPA. - 7745:(2013), pp. 392-412. (Intervento presentato al convegno Software Language Engineering tenutosi a Dresden nel September 25-28, 2012) [10.1007/978-3-642-36089-3_22].
Approaches and Tools for Implementing Type Systems in Xtext
BETTINI, LORENZO;
2013
Abstract
With the Xtext framework, building domain specific languages (DSLs) integrated into the Eclipse IDE has become increasingly popular and viable even for non-trivial domains. However, sophisticated DSLs may require advanced type checking capabilities, since they usually include expressions, types and the notion of type conformance. In this paper we compare a number of approaches and frameworks for implementing type systems for Xtext languages regarding flexibility, required effort and usability. We use a common case study to illustrate the trade-offs between the various tools.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
