Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct.

Wolfgang Goerigk Ulrich Hoffmann

Published in: FM-Trends (1998)

Keyphrases

software systems
general purpose
highly optimized
artificial intelligence
implementation details
java virtual machine
real time
data mining
machine learning
implementation issues