Complexity of Flow Analysis, Inductive Assertion Synthesis and a Language Due to Dijkstra

Neil D. Jones, Steven S. Muchnick

Browse the full FOCS paper archive.