Specifying Java thread semantics using a uniform memory model
- 3 November 2002
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Specifying multithreaded Java semantics for program verificationPublished by Association for Computing Machinery (ACM) ,2002
- Core semantics of multithreaded JavaPublished by Association for Computing Machinery (ACM) ,2001
- Java consistencyACM Transactions on Computer Systems, 2000
- Improving the Java memory model using CRFPublished by Association for Computing Machinery (ACM) ,2000
- Fixing the Java memory modelPublished by Association for Computing Machinery (ACM) ,1999
- An executable specification and verifier for relaxed memory orderIEEE Transactions on Computers, 1999
- Shared memory consistency models: a tutorialComputer, 1996
- Lazy release consistency for software distributed shared memoryPublished by Association for Computing Machinery (ACM) ,1992
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess ProgramsIEEE Transactions on Computers, 1979