Rod M. Burstall

3 papers in the IJCAI proceedings

IJCAI 1977

Putting Theories Together to Make Specifications

with Joseph A. Goguen

Details PDF

IJCAI 1973

A System which Automatically Improves Programs

with John Darlington

Details PDF

A Versatile Computer-Controlled Assembly System

with A. Patricia Ambler, Harry G. Barrow, Christopher M. Brown, Robin J. Popplestone

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings