A General Framework for Program Reasoning

Abstract

We present a framework for reasoning about programs that incorporates programmer speciied assertions and subsumes both Hoare-Logic veriication and program analysis. Our aim is to support combinations of diierent program reasoning algorithms in a tightly coupled way, and to provide a formal basis for the correctness of the combined eeorts. Our framework is… (More)

Topics

Cite this paper

@inproceedings{Heintze2007AGF, title={A General Framework for Program Reasoning}, author={Nevin Heintze and Joxan Jaffary}, year={2007} }