Burstall, Rod M.

3 publications

IJCAI 1977 Putting Theories Together to Make Specifications Rod M. Burstall, Joseph A. Goguen

IJCAI 1973 A System Which Automatically Improves Programs John Darlington, Rod M. Burstall

IJCAI 1973 A Versatile Computer-Controlled Assembly System A. Patricia Ambler, Harry G. Barrow, Christopher M. Brown, Rod M. Burstall, Robin J. Popplestone