Compositional Verification of Compiler Optimisations on Relaxed Memory.

Mike Dodds Mark Batty Alexey Gotsman

Published in: CoRR (2018)

Keyphrases

memory requirements
level parallelism
model checking
memory usage
memory space
optimal solution
programming language
general purpose
main memory
limited memory
case study
operating system
information processing
face verification
code generation
programs written