A type and effect system for deterministic parallel Java
- 25 October 2009
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 44 (10), 97-116
- https://doi.org/10.1145/1640089.1640097
Abstract
No abstract availableKeywords
This publication has 37 references indexed in Scilit:
- SingleTrack: A Dynamic Determinism Checker for Multithreaded ProgramsLecture Notes in Computer Science, 2009
- Automatic Parallelization with Separation LogicLecture Notes in Computer Science, 2009
- A programming model for concurrent object-oriented programsACM Transactions on Programming Languages and Systems, 2008
- A capability calculus for concurrency and determinismACM Transactions on Programming Languages and Systems, 2008
- Resources, concurrency, and local reasoningTheoretical Computer Science, 2007
- POSHPublished by Association for Computing Machinery (ACM) ,2006
- Types for safe lockingACM Transactions on Programming Languages and Systems, 2006
- MSA: Multiphase Specifically Shared ArraysLecture Notes in Computer Science, 2005
- External Uniqueness Is Unique EnoughLecture Notes in Computer Science, 2003
- The design, implementation, and evaluation of JadeACM Transactions on Programming Languages and Systems, 1998