A Logical Framework for Program Analysis

@inproceedings{Burn1992ALF,
  title={A Logical Framework for Program Analysis},
  author={Geoffrey L. Burn},
  booktitle={Functional Programming},
  year={1992}
}
Using logics to express program properties, and deduction systems for proving properties of programs, gives a very elegant way of deening program analysis techniques. This paper addresses a shortcoming of previous work in the area by establishing a more general framework for such logics, as is commonly done for progam analysis using abstract interpretation. Moreover, there are natural extensions of this work which deal with polymorphic languages.