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]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
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 |
| Item ID: | 263458 |
| Date Deposited: | 15 Feb 2007 |
| Last Modified: | 02 Mar 2012 13:20 |
| Contributors: | Jeffrey, Alan (Author) Rathke, Julian (Author) |
| Date: | 2005 |
| Status: | Published |
| 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 |
