Certification of compiler optimizations using kleene algebra with tests (0)

by D Kozen, M-C Patron
Venue:in Proceedings of the First International Conference on Computational Logic, ser. CL