The Verifying Compiler: A Grand Challenge for Computing Research
Author:
- 28 February 2003
- book chapter
- Published by Springer Nature
- p. 262-272
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Correctness by construction: developing a commercial secure systemIEEE Software, 2002
- Improving security using extensible lightweight static analysisIEEE Software, 2002
- CCured2002
- A System and Language for Building System-Specific, Static Analyses2002
- A static analyzer for finding dynamic programming errorsSoftware: Practice and Experience, 2000
- Proof-carrying code1997
- Machine-Assisted Verification Using Theorem Proving and Model Checking1997
- Static detection of dynamic memory errors1996
- Context-insensitive alias analysis reconsideredACM SIGPLAN Notices, 1995
- Assigning meanings to programs1967