A Modular Checker for Multithreaded Programs
- 20 September 2002
- book chapter
- Published by Springer Nature
- p. 180-194
- https://doi.org/10.1007/3-540-45657-0_14
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Extended static checking for JavaPublished by Association for Computing Machinery (ACM) ,2002
- Thread-Modular Verification for Shared-Memory ProgramsPublished by Springer Nature ,2002
- A parameterized type system for race-free Java programsPublished by Association for Computing Machinery (ACM) ,2001
- Parameterized Verification of Multithreaded Software LibrariesPublished by Springer Nature ,2001
- Avoiding exponential explosionPublished by Association for Computing Machinery (ACM) ,2001
- Type-based race detection for JavaPublished by Association for Computing Machinery (ACM) ,2000
- Barrier inferencePublished by Association for Computing Machinery (ACM) ,1998
- Conjoining specificationsACM Transactions on Programming Languages and Systems, 1995
- Synchronization primitives for a multiprocessor: a formal specificationPublished by Association for Computing Machinery (ACM) ,1987
- Tentative steps toward a development method for interfering programsACM Transactions on Programming Languages and Systems, 1983