Itemis Schweiz GmbH

Switzerland

Itemis Schweiz GmbH

Switzerland
SEARCH FILTERS
Time filter
Source Type

Bettini L.,University of Turin | Stoll D.,Itemis Schweiz GmbH | Volter M.,Itemis AG | Colameo S.,Itemis Schweiz GmbH
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2013

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. © 2013 Springer-Verlag Berlin Heidelberg.

Loading Itemis Schweiz GmbH collaborators
Loading Itemis Schweiz GmbH collaborators