Verifying Peephole Rewriting In SSA Compiler IRs.

Siddharth Bhat Alex C. Keizer Chris Hughes Andrés Goens Tobias Grosser

Published in: CoRR (2024)

Keyphrases

programming language
model checking
rewrite rules
highly optimized
rewriting rules
queries using views
distributed memory machines
conjunctive queries
termination analysis
information systems
general purpose
software systems
query rewriting
verification method