Finding programming errors earlier by evaluating runtime monitors ahead-of-time
- 9 November 2008
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Typestate-like analysis of multiple interacting objectsPublished by Association for Computing Machinery (ACM) ,2008
- Modular typestate checking of aliased objectsPublished by Association for Computing Machinery (ACM) ,2007
- The DaCapo benchmarksPublished by Association for Computing Machinery (ACM) ,2006
- Effective typestate verification in the presence of aliasingPublished by Association for Computing Machinery (ACM) ,2006
- Refinement-based context-sensitive points-to analysis for JavaPublished by Association for Computing Machinery (ACM) ,2006
- Finding application errors and security flaws using PQLPublished by Association for Computing Machinery (ACM) ,2005
- abcPublished by Association for Computing Machinery (ACM) ,2005
- Region-based shape analysis with tracked locationsPublished by Association for Computing Machinery (ACM) ,2005
- Checking and inferring local non-aliasingPublished by Association for Computing Machinery (ACM) ,2003
- Typestate: A programming language concept for enhancing software reliabilityIEEE Transactions on Software Engineering, 1986