Static error detection using semantic inconsistency inference
Authors:
Open Access
- 10 June 2007
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 42 (6) , 435-445
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- How is aliasing used in systems software?2006
- Evaluating and tuning a static analysis to find null pointer bugs2005
- Interpolant-Based Transition Relation Approximation2005
- A Type System Equivalent to a Model CheckerLecture Notes in Computer Science, 2005
- Checking Memory Safety with Blast2005
- Finding bugs is easyACM SIGPLAN Notices, 2004
- Declaring and checking non-null types in an object-oriented language2003
- Extended static checking for Java2002
- ESP2002
- Bugs as deviant behaviorACM SIGOPS Operating Systems Review, 2001