The University of Southampton
University of Southampton Institutional Repository

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

Java Jr. : Fully abstract trace semantics for a Core Java Language.
Java Jr. : Fully abstract trace semantics for a Core Java Language.
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.
423-438
Jeffrey, Alan
d79c647d-86f4-43f2-94d0-78be65748331
Rathke, Julian
dba0b571-545c-4c31-9aec-5f70c231774b
Jeffrey, Alan
d79c647d-86f4-43f2-94d0-78be65748331
Rathke, Julian
dba0b571-545c-4c31-9aec-5f70c231774b

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.

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.

PDF jjfatscjl.pdf - Other
Restricted to Registered users only
Download (178kB)

More information

Published date: 2005
Venue - Dates: European Symposium on Programming, part of ETAPS, 2005-01-01
Organisations: Electronic & Software Systems

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: 18 Jul 2017 07:45

Export record

Contributors

Author: Alan Jeffrey
Author: Julian Rathke

University divisions

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×