526 search results - page 1 / 106 » Towards the Verifying Compiler |
FAC
2006
13 years 4 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
HICSS
2003
IEEE
13 years 10 months ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
ENTCS
2008
13 years 4 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
APLAS
2003
ACM
13 years 8 months ago
2003
ACM
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...