@inproceedings{XsemanticsSLE,
  volume = {7745},
  author = {Bettini, Lorenzo and Stoll, Dietmar and V\"olter, Markus and
            Colameo, Serano},
  series = {Lecture Notes in Computer Science},
  booktitle = {Software Language Engineering},
  url = {http://rap.dsi.unifi.it/phpbibliography/files/SLE-2012-doc.pdf},
  isbn = {978-364236088-6},
  title = {{Approaches and Tools for Implementing Type Systems in Xtext}},
  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. },
  publisher = {Springer},
  pages = {392-412},
  year = {2012},
  doi = {10.1007/978-3-642-36089-3_22},
}

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