Automatic Construction of Hoare Proofs from Abstract Interpretation Results

@inproceedings{Seo2003AutomaticCO,
  title={Automatic Construction of Hoare Proofs from Abstract Interpretation Results},
  author={Sunae Seo and Hongseok Yang and Kwangkeun Yi},
  booktitle={APLAS},
  year={2003}
}
Interpretation Results Sunae Seo, Hongseok Yang, and Kwangkeun Yi 1 Department of Computer Science, Korea Advanced Institute of Science and Technology saseo@ropas.kaist.ac.kr 2 MICROS Research Center, Korea Advanced Institute of Science and Technology hyang@kaist.ac.kr 3 School of Computer Science and Engineering, Seoul National University kwang@ropas.snu.ac.kr Abstract. By combining program logic and static analysis, we present an automatic approach to construct program proofs to be used in… CONTINUE READING
Highly Cited
This paper has 39 citations. REVIEW CITATIONS