Jeffrey, Alan and Rathke, Julian
Java Jr. : Fully abstract trace semantics for a Core Java Language.
At European Symposium on Programming, part of ETAPS.
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.
Conference or Workshop Item
|Venue - Dates:
||European Symposium on Programming, part of ETAPS, 2005-01-01
||Electronic & Software Systems
||15 Feb 2007
||17 Apr 2017 19:52
|Further Information:||Google Scholar|
Actions (login required)