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

by Dexter Kozen, Maria-Cristina Patron
Venue:In CL