Java Jr
From MaRDI portal
swMATH19083MaRDI QIDQ30913FDOQ30913
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-540-31987-0_29
Cited In (18)
- Abstract interface behavior of object-oriented languages with monitors
- Fully abstract trace semantics for protected module architectures
- A system-level game semantics
- Behavioral interface description of an object-oriented language with futures and promises
- An operational semantics for object-oriented concepts based on the class hierarchy
- On the relation of interaction semantics to continuations and defunctionalization
- Compositional reasoning about active objects with shared futures
- A sound and complete reasoning system for asynchronous communication with shared futures
- Multilisp
- ABS
- Fides
- Sancus
- TALx86
- Full abstraction at package boundaries of object-oriented languages
- KeY-ABS
- Observable behavior of distributed systems: component reasoning for concurrent objects
- Trace-relating compiler correctness and secure compilation
- Compositional reasoning for explicit resource management in channel-based concurrency
This page was built for software: Java Jr
