A Formally Verified Compiler Back-end.

Published in: J. Autom. Reason. (2009)

Keyphrases

back end
user friendly
data management
data types
version control
programming language
building blocks
distributed memory machines
detailed design
highly optimized
software systems
general purpose
information systems
parallel algorithm
code generation
neural network
database