ESP
Top Cited Papers
- 17 May 2002
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 37 (5), 57-68
- https://doi.org/10.1145/512529.512538
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Extended static checking for JavaPublished by Association for Computing Machinery (ACM) ,2002
- Bugs as deviant behaviorPublished by Association for Computing Machinery (ACM) ,2001
- Unification-based pointer analysis with directional assignmentsPublished by Association for Computing Machinery (ACM) ,2000
- Expansion-Based Removal of Semantic Partial RedundanciesLecture Notes in Computer Science, 1999
- Improving data-flow analysis with path profilesPublished by Association for Computing Machinery (ACM) ,1998
- 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
- Gated SSA-based demand-driven symbolic analysis for parallelizing compilersPublished by Association for Computing Machinery (ACM) ,1995
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977