Browse by Keywords - C

Select the first letter of the keywords to browse

There are 2 record/s using the keyword/s: correctness proofs.

View 25 / 50 / ALL records per page.

Title	Date	Creator	Publication Type	Institution
A Generalization of Short-Cut Fusion and Its Correctness Proof	2002	Johann, Patricia	Faculty	Computer Science, ASU
The Impact Of seq On Free Theorems-Based Program Transformations	2006	Johann, Patricia	Faculty	Computer Science, ASU