Pluggable abstract domains for analyzing embedded software
- 14 June 2006
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 41 (7), 44-53
- https://doi.org/10.1145/1134650.1134658
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Countersniper system for urban warfareACM Transactions on Sensor Networks, 2005
- Flow analysis for verifying properties of concurrent software systemsACM Transactions on Software Engineering and Methodology, 2004
- The nesC languagePublished by Association for Computing Machinery (ACM) ,2003
- Simplifying and isolating failure-inducing inputIEEE Transactions on Software Engineering, 2002
- SPEC CPU2000: measuring CPU performance in the New MillenniumComputer, 2000
- PAG - an efficient program analyzer generatorInternational Journal on Software Tools for Technology Transfer, 1998
- Improving abstract interpretations by combining domainsACM Transactions on Programming Languages and Systems, 1995
- On the efficient engineering of ambitious program analysisIEEE Transactions on Software Engineering, 1994
- Efficiently computing static single assignment form and the control dependence graphACM Transactions on Programming Languages and Systems, 1991
- Constant propagation with conditional branchesACM Transactions on Programming Languages and Systems, 1991