Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations

2000.

Cited by: 6|Bibtex|Views0|Links

Abstract:

A verifying compiler ensures that the compiled code is always correct but the compiler may also terminate with an error mesage and then fails to generate code. We argue that with respect to compiler correctness this is the best possible result which can be achieved in practice. Such a compiler may even include unverified code provided t...More

Code:

Data:

Your rating :
0

 

Tags
Comments