Java Jr

swMATH19083MaRDI QIDQ30913

No author found.

Described by source

• Programming Languages and Systems

Related Items (12)

Trace-Relating Compiler Correctness and Secure Compilation ⋮ Behavioral interface description of an object-oriented language with futures and promises ⋮ A System-Level Game Semantics ⋮ On the Relation of Interaction Semantics to Continuations and Defunctionalization ⋮ Compositional reasoning about active objects with shared futures ⋮ Observable behavior of distributed systems: component reasoning for concurrent objects ⋮ A sound and complete reasoning system for asynchronous communication with shared futures ⋮ Fully abstract trace semantics for protected module architectures ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ Abstract interface behavior of object-oriented languages with monitors ⋮ Full Abstraction at Package Boundaries of Object-Oriented Languages ⋮ Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency

This page was built for software: Java Jr