Java Jr. : Fully abstract trace semantics for a Core Java Language.


Jeffrey, Alan and Rathke, Julian (2005) Java Jr. : Fully abstract trace semantics for a Core Java Language. In, European Symposium on Programming, part of ETAPS, Edinburgh, Springer Berlin/Heidelberg, 423-438.

Download

[img] PDF
Restricted to Registered users only

Download (174Kb) | Request a copy

Description/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.

Item Type: Conference or Workshop Item (Paper)
ISSNs: 0302-9743
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 263458
Date Deposited: 15 Feb 2007
Last Modified: 27 Mar 2014 20:07
Further Information:Google Scholar
ISI Citation Count:11
URI: http://eprints.soton.ac.uk/id/eprint/263458

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics