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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Jeffrey, A., & Rathke, J. (2005). Java Jr.: Fully abstract trace semantics for a core Java language. In Lecture Notes in Computer Science (Vol. 3444, pp. 423–438). Springer Verlag. https://doi.org/10.1007/978-3-540-31987-0_29
Mendeley helps you to discover research relevant for your work.