Howard E. Shrobe

2 papers in the IJCAI proceedings

IJCAI 1979

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

Details PDF

Overview of the Programmer's Apprentice

with Charles Rich, Richard C. Waters

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings