Howard E. Shrobe. Dependency Directed Reasoning in the Analysis of Programs which Modify Complex Data Structures. In Bruce G. Buchanan, editor, Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes. pages 829-835, William Kaufmann, 1979.
Abstract is missing.