A system and language for building system-specific, static analyses
Top Cited Papers
- 17 May 2002
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 37 (5), 69-82
- https://doi.org/10.1145/512529.512539
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- ESPPublished by Association for Computing Machinery (ACM) ,2002
- Flow-sensitive type qualifiersPublished by Association for Computing Machinery (ACM) ,2002
- Bugs as deviant behaviorPublished by Association for Computing Machinery (ACM) ,2001
- Enforcing high-level protocols in low-level softwarePublished by Association for Computing Machinery (ACM) ,2001
- Type-based race detection for JavaPublished by Association for Computing Machinery (ACM) ,2000
- Precise interprocedural dataflow analysis via graph reachabilityPublished by Association for Computing Machinery (ACM) ,1995
- LCLintPublished by Association for Computing Machinery (ACM) ,1994
- End-to-end arguments in system designACM Transactions on Computer Systems, 1984
- Variations on the Common Subexpression ProblemJournal of the ACM, 1980
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973