Programming Coordinated Behavior in Java
Abstract elided by the publisher.
Related papers
- Parallel Programming With Coordination Structures POPL 1991
- Synthesis of Compact Strategies for Coordination Programs TACAS 2022
- Synthesis of coordination programs from linear temporal specifications POPL 2020
- YABS: a domain-specific language for pervasive computing based on stigmergy GPCE 2006
- Mostly-Functional Behavior in Java Programs VMCAI 2009
- A Study of the Allocation Behavior of the SPECjvm98 Java Benchmark ECOOP 1999
- Exploiting Java Objects Behavior for Memory Management and Optimizations APLAS 2004
- A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java CAV 2007