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
Publisher: Springer Berlin/Heidelberg
Further Information:Google Scholar
ISI Citation Count:11
URI: http://eprints.soton.ac.uk/id/eprint/263458

Actions (login required)

View Item View Item