Parallelism for free: Bitvector analyses ⇒ no state explosion!
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 264-289
- https://doi.org/10.1007/3-540-60630-0_13
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Data flow analysis for verifying properties of concurrent programsACM SIGSOFT Software Engineering Notes, 1994
- Optimal code motionACM Transactions on Programming Languages and Systems, 1994
- Partial dead code eliminationACM SIGPLAN Notices, 1994
- Using state space reduction methods for deadlock analysis in Ada taskingACM SIGSOFT Software Engineering Notes, 1993
- A variation of Knoop, Rüthing, and Steffen's Lazy Code MotionACM SIGPLAN Notices, 1993
- Lazy code motionACM SIGPLAN Notices, 1992
- How to analyze large programs efficiently and informativelyACM SIGPLAN Notices, 1992
- Compile-time analysis of parallel programs that share memoryPublished by Association for Computing Machinery (ACM) ,1992
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973