Certification of compiler optimizations using Kleene algebra with tests (2000)

by Dexter Kozen, Maria-Cristina Patron
Venue:STUCKEY (EDS.), PROC. RST INTERNAT. CONF. COMPUTATIONAL LOGIC (CL2000), LECTURE NOTES IN ARTI CIAL INTELLIGENCE