The S LAM project
Top Cited Papers
- 1 January 2002
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 37 (1) , 1-3
- https://doi.org/10.1145/503272.503274
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- CCuredPublished by Association for Computing Machinery (ACM) ,2002
- Mining specificationsPublished by Association for Computing Machinery (ACM) ,2002
- Lazy abstractionPublished by Association for Computing Machinery (ACM) ,2002
- Unification-based pointer analysis with directional assignmentsPublished by Association for Computing Machinery (ACM) ,2000
- Enforceable security policiesACM Transactions on Information and System Security, 2000
- Static detection of dynamic memory errorsPublished by Association for Computing Machinery (ACM) ,1996
- Precise interprocedural dataflow analysis via graph reachabilityPublished by Association for Computing Machinery (ACM) ,1995
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977