Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

Bettini:2013:IJL:2480362.2480654 (In proceedings)
Author(s) Lorenzo Bettini
Title« Implementing Java-like languages in Xtext with Xsemantics »
InProceedings of the 28th Annual ACM Symposium on Applied Computing
SeriesSAC '13
Page(s)1559--1564
Year2013
PublisherACM
ISBN number978-1-4503-1656-9
URLhttp://doi.acm.org/10.1145/2480362.2480654
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.

BibTeX code

@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},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

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

Valid HTML 4.01!