@inproceedings{Bettini:2013:IJL:2480362.2480654,
  author = {Bettini, Lorenzo},
  series = {SAC '13},
  booktitle = {Proceedings of the 28th Annual ACM Symposium on Applied
               Computing},
  url = {http://doi.acm.org/10.1145/2480362.2480654},
  isbn = {978-1-4503-1656-9},
  title = {{Implementing Java-like languages in Xtext with Xsemantics}},
  abstract = {In this paper we present Xsemantics, a DSL for writing type
              systems, reduction rules and in general relation rules for
              languages implemented in Xtext. Xsemantics aims at minimizing the
              gap between the formalization of a language and the actual
              implementation in Xtext, since it uses a syntax that resembles the
              typical rules in a formal setting. We present an implementation of
              FJ (Featherweight Java) in Xtext together with its type system and
              operational semantics in Xsemantics. We show how such
              implementation is pretty faithful to the actual formalization of
              FJ.},
  publisher = {ACM},
  pages = {1559--1564},
  year = {2013},
  doi = {10.1145/2480362.2480654},
}

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