The following pages link to Java Jr (Q30913):
Displayed 12 items.
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- A sound and complete reasoning system for asynchronous communication with shared futures (Q465485) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Behavioral interface description of an object-oriented language with futures and promises (Q843206) (← links)
- Compositional reasoning about active objects with shared futures (Q890481) (← links)
- Abstract interface behavior of object-oriented languages with monitors (Q1015384) (← links)
- Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
- On the Relation of Interaction Semantics to Continuations and Defunctionalization (Q2938764) (← links)
- Full Abstraction at Package Boundaries of Object-Oriented Languages (Q3098051) (← links)
- A System-Level Game Semantics (Q3178283) (← links)
- Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)
- Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency (Q5495108) (← links)