Java Jr.: A fully abstract trace semantics for a core Java language (2005)
| Venue: | In ESOP, volume 3444 of LNCS |
| Citations: | 19 - 0 self |
BibTeX
@INPROCEEDINGS{Jeffrey05javajr.:,
author = {Alan Jeffrey and Julian Rathke},
title = {Java Jr.: A fully abstract trace semantics for a core Java language},
booktitle = {In ESOP, volume 3444 of LNCS},
year = {2005},
pages = {423--438},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We introduce an expressive yet semantically clean core Java-like language, Java Jr., and provide it with a formal operational semantics based on traces of observable actions which represent interaction across package boundaries. A detailed example based on the Observer Pattern is used to demonstrate the intuitive character of the semantic model. We also show that our semantic trace equivalence is fully-abstract with respect to a natural notion of testing equivalence for object systems. This is the first such result for a full class-based OO-language with inheritance. 1
