Certification of Compiler Optimizations Using Kleene Algebra with Tests, in (0)

by D Kozen, M-C Patron
Venue:Stuckey (Eds.), Computational Logic (CL’00