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. At European Symposium on Programming, part of ETAPS. , pp. 423-438.

Download

[img] PDF jjfatscjl.pdf - Other
Restricted to Registered users only

Download (178kB)

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)
Venue - Dates: European Symposium on Programming, part of ETAPS, 2005-01-01
Organisations: Electronic & Software Systems
ePrint ID: 263458
Date :
Date Event
2005Published
Date Deposited: 15 Feb 2007
Last Modified: 17 Apr 2017 19:52
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/263458

Actions (login required)

View Item View Item