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.
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)|
|Divisions:||Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
|Date Deposited:||15 Feb 2007|
|Last Modified:||02 Mar 2012 13:20|
|Contributors:||Jeffrey, Alan (Author)
Rathke, Julian (Author)
|Further Information:||Google Scholar|
|ISI Citation Count:||11|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)