Java Jr

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.


References in zbMATH (referenced in 14 articles , 1 standard article )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Din, Crystal Chang; Owe, Olaf: Compositional reasoning about active objects with shared futures (2015)
  2. Patrignani, Marco; Clarke, Dave: Fully abstract trace semantics for protected module architectures (2015)
  3. Colvin, Robert J.: An operational semantics for object-oriented concepts based on the class hierarchy (2014)
  4. de Boer, Frank S.; de Gouw, Stijn: Combining monitoring with run-time assertion checking (2014)
  5. Din, Crystal Chang; Owe, Olaf: A sound and complete reasoning system for asynchronous communication with shared futures (2014)
  6. Francalanza, Adrian; Devries, Edsko; Hennessy, Matthew: Compositional reasoning for explicit resource management in channel-based concurrency (2014)
  7. Schöpp, Ulrich: On the relation of interaction semantics to continuations and defunctionalization (2014)
  8. Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf: Observable behavior of distributed systems: component reasoning for concurrent objects (2012)
  9. Ghica, Dan R.; Tzevelekos, Nikos: A system-level game semantics (2012)
  10. Welsch, Yannick; Poetzsch-Heffter, Arnd: Full abstraction at package boundaries of object-oriented languages (2011)
  11. Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin: Behavioral interface description of an object-oriented language with futures and promises (2009)
  12. Ábrahám, Erika; Grüner, Andreas; Steffen, Martin: Heap-abstraction for an object-oriented calculus with thread classes (2008) ioport
  13. Ábrahám, Erika; Grüner, Andreas; Steffen, Martin: Abstract interface behavior of object-oriented languages with monitors (2008)
  14. Jeffrey, Alan; Rathke, Julian: Java Jr.: Fully abstract trace semantics for a core Java language (2005)