Automatic construction of hoare proofs from abstract interpretation results (2003)

by S Seo, H Yang, K Yi
Venue:In Proc. of the 1st Asian Symp. on Programming Languages and Systems