On the Correctness of Transformations in Compiler Back-Ends.

Wolf Zimmermann

Published in: ISoLA (2004)

Keyphrases

programming language
case study
software systems
highly optimized
data sets
neural network
artificial intelligence
relational databases
user interface
object oriented
general purpose
rewrite rules