A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A Portable Compiler-Integrated Approach to Permanent Checking
2006
21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyday development tools. To radically change the situation, we explore the integration of simple user-defined checks into the core of every development process: the compiler. The checks we implement express constrained reachability queries in the control flow graph taking the form "from x to y avoiding z", where x, y, and
doi:10.1109/ase.2006.8
dblp:conf/kbse/Volanschi06
fatcat:ilibv4jqz5ahvj6bifjvw3jmpu