A Declarative Approach to Concurrency in Java
No abstract available.
Related papers
- Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM CAV 2023
- PQL: A Purely-Declarative Java Extension for Parallel Programming ECOOP 2012
- Concurrency Combinators for Declarative Synchronization APLAS 2004
- Refactoring Java generics by inferring wildcards, in practice OOPSLA 2014
- Automatic inference of stationary fields: a generalization of java's final fields POPL 2008
- JavaCOP: Declarative pluggable types for java TOPLAS 2010
- Thorn: robust, concurrent, extensible scripting on the JVM OOPSLA 2009
- AtomiS: Data-Centric Synchronization Made Practical OOPSLA 2023