Kilim: Isolation-Typed Actors for Java
No abstract available.
Related papers
- Isolates, channels, and event streams for composable distributed programming Onward! 2015
- Ownership-Based Isolation for Concurrent Actors on Multi-core Machines ECOOP 2013
- Typed dataspace actors JFP 2020
- Actor profiling in virtual execution environments GPCE 2016
- Verification of Snapshot Isolation in Transactional Memory Java Programs ECOOP 2012
- Polymorphic bytecode: compositional compilation for Java-like languages POPL 2005
- Transparent fault tolerance for scalable functional computation JFP 2016
- Integrating task parallelism with actors OOPSLA 2012