Rod M. Burstall
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1973–1995
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | COMPASS | Inductively Defined Relations: A Brief Tutorial (Extended Abstract). | Rod M. Burstall |
| 1994 | LICS | Terms, Proofs, and Refinement (Extended abstract) | Rod M. Burstall |
| 1993 | MFCS | Deliverables: A Categorial Approach to Program Development in Type Theory. | James McKinna, Rod M. Burstall |
| 1992 | MPC | Extended Calculus of Constructions as a Specification Language (Abstract). | Rod M. Burstall |
| 1980 | MFCS | Electronic Category Theory. | Rod M. Burstall |
| 1977 | IJCAI | Putting Theories Together to Make Specifications. | Rod M. Burstall, Joseph A. Goguen |
| 1973 | IJCAI | A Versatile Computer-Controlled Assembly System. | A. Patricia Ambler, Harry G. Barrow, Christopher M. Brown, Rod M. Burstall, Robin J. Popplestone |
| 1973 | IJCAI | A System which Automatically Improves Programs. | John Darlington, Rod M. Burstall |