Dependency Directed Reasoning in the Analysis of Programs which Modify Complex Data Structures.

Howard E. Shrobe

Browse the full IJCAI paper archive.