Bettini:2013:IJL:2480362.2480654 (In proceedings)
|
Author(s) | Lorenzo Bettini |
Title | « Implementing Java-like languages in Xtext with Xsemantics » |
In | Proceedings of the 28th Annual ACM Symposium on Applied Computing |
Series | SAC '13 |
Page(s) | 1559--1564 |
Year | 2013 |
Publisher | ACM |
ISBN number | 978-1-4503-1656-9 |
URL | http://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. |
@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)