34 search results - page 1 / 7 » A Framework for Formal Verification of Compiler Optimization... |
ITP
2010
13 years 6 months ago
2010
POPL
2006
ACM
14 years 4 months ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
CASES
2007
ACM
13 years 8 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
RTA
2007
Springer
13 years 10 months ago
2007
Springer
FM
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...