Formally proving a compiler transformation safe.

Joachim Breitner

Published in: Haskell (2015)

Keyphrases

programming language
database
linear transformation
distributed memory machines
general purpose
website
transformation rules
highly optimized
fukunaga koontz