Verifying Compiler Optimisations - (Invited Paper).

Ian J. Hayes Mark Utting Brae J. Webb

Published in: ICFEM (2023)

Keyphrases

invited paper
programming language
general purpose
model checking
distributed memory machines
lecture notes
highly optimized
computer science
code generation
website
artificial neural networks
itemsets
lessons learned