A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
Program analysis for compiler validation
2008
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '08
Translation Validation is an approach of ensuring compilation correctness in which each compiler run is followed by a validation pass that proves that the target code produced by the compiler is a correct translation (implementation) of the source code. It has been previously shown that the problem of translation validation can be reduced to checking if a single system -the corss-product of the source and target, satisfies a specific property. In this paper, we show how to adapt the existing
doi:10.1145/1512475.1512477
dblp:conf/paste/ZaksP08
fatcat:x6yrtqtrc5fgjfk4zmluzgc7si