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

Record type: Conference or Workshop Item (Paper)

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.

Text

jjfatscjl.pdf - Other

Restricted to Registered users only

Download (178kB)

Request a copy

More information

Published date: 2005

Venue - Dates: European Symposium on Programming, part of ETAPS, Edinburgh, 2005-01-01

Organisations: Electronic & Software Systems

Learn more about Cyber Physical Systems research

Identifiers

Local EPrints ID: 263458

URI: http://eprints.soton.ac.uk/id/eprint/263458

PURE UUID: 894c07f9-3578-48ba-aef3-aec6c9bcb691

Catalogue record

Date deposited: 15 Feb 2007

Last modified: 14 Mar 2024 07:32

Export record

Share this record

Share this on Facebook Share this on Twitter Share this on Weibo

Contributors

Author: Alan Jeffrey

Author: Julian Rathke

Download statistics

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

Library staff additional information