Automatic Construction of Hoare Proofs from Abstract Interpretation Results.

Sunae Seo, Hongseok Yang, Kwangkeun Yi

Browse the full APLAS paper archive.