Login / Signup
On the Correctness of Transformations in Compiler Back-Ends.
Wolf Zimmermann
Published in:
ISoLA (Preliminary proceedings) (2004)
Keyphrases
</>
programming language
general purpose
software systems
distributed memory machines
database
databases
data mining
search engine
image processing
multi agent
highly optimized
preserving transformations