A Compositional Logic for Control Flow

This might be an interesting paper to look at. Since I do look at the control flow in low level languages to compute heuristics, A Compositional Logic for Control Flow by Gang Tan and Andrew W. Appel. This paper has been accepted for publication at VMCAI (Seventh International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 06)) 2006. The abstract is available for a read. I guess I have to wait for this paper to be available to look at it.