DMCA

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
Citations:45 - 13 self