Rod M. Burstall

According to our database, Rod M. Burstall authored at least 46 papers between 1965 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2006

My Friend Joseph Goguen.

Rod M. Burstall

Proceedings of the Algebra, Meaning, and Computation, 2006

2001

Explicit Environments.

Masahiko Sato, Takafumi Sakurai, Rod M. Burstall

Fundam. Informaticae, 2001

2000

ProveEasy: helping people learn to do proofs.

Rod M. Burstall

Proceedings of the Computing: the Australasian Theory Symposium, 2000

Christopher Strachey - Understanding Programming Languages.

Rod M. Burstall

High. Order Symb. Comput., 2000

1999

Memory Management: An Abstract Formulation of Incremental Tracing.

Healfdene Goguen, Richard Brooksby, Rod M. Burstall

Proceedings of the Types for Proofs and Programs, 1999

1995

Inductively Defined Relations: A Brief Tutorial (Extended Abstract).

Rod M. Burstall

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

Terms, Proofs, and Refinement (Extended abstract)

Rod M. Burstall

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

1993

Deliverables: A Categorial Approach to Program Development in Type Theory.

James McKinna, Rod M. Burstall

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992

Institutions: Abstract Model Theory for Specification and Programming.

Joseph A. Goguen, Rod M. Burstall

J. ACM, 1992

Extended Calculus of Constructions as a Specification Language (Abstract).

Rod M. Burstall

Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992

1991

Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories.

Andrzej Tarlecki, Rod M. Burstall, Joseph A. Goguen

Theor. Comput. Sci., 1991

1988

Pebble, a Kernel Language for Modules and Abstract Data Types

Butler W. Lampson, Rod M. Burstall

Inf. Comput., 1988

A Natural Deduction treatment of Operational Semantics.

Rod M. Burstall, Furio Honsell

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988

Computational category theory.

David E. Rydeheard, Rod M. Burstall

Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-162736-9, 1988

1987

Inductively Defined Functions in Functional Programming Languages.

Rod M. Burstall

J. Comput. Syst. Sci., 1987

1985

Inductively Defined Functions (Extended Abstract).

Rod M. Burstall

Proceedings of the Mathematical Foundations of Software Development, 1985

Computing with Categories.

David E. Rydeheard, Rod M. Burstall

Proceedings of the Category Theory and Computer Programming, 1985

A Categorical Unification Algorithm.

David E. Rydeheard, Rod M. Burstall

Proceedings of the Category Theory and Computer Programming, 1985

A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments.

Joseph A. Goguen, Rod M. Burstall

Proceedings of the Category Theory and Computer Programming, 1985

1984

Some Fundamental Algebraic Tools for the Semantics of Computation. Part II: Signed and Abstract Theories.

Joseph A. Goguen, Rod M. Burstall

Theor. Comput. Sci., 1984

Some Fundamental Algebraic Tools for the Semantics of Computation. Part 1: Comma Categories, Colimits, Signatures and Theories.

Joseph A. Goguen, Rod M. Burstall

Theor. Comput. Sci., 1984

A Kernel Language for Abstract Data Types and Modules.

Rod M. Burstall, Butler W. Lampson

Proceedings of the Semantics of Data Types, International Symposium, 1984

Programming with Modules as Typed Functional Programming.

Rod M. Burstall

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1983

Introducing Institutions.

Joseph A. Goguen, Rod M. Burstall

Proceedings of the Logics of Programs, 1983

Structured Theories in LCF.

Donald Sannella, Rod M. Burstall

Proceedings of the CAAP'83, 1983

1982

Deriving very Efficient Algorithms for Evaluating Linear Recurrence Relations Using the Program Transformation Technique.

Alberto Pettorossi, Rod M. Burstall

Acta Informatica, 1982

1980

Making Programs more Readable.

J. L. Weiner, Rod M. Burstall

Proceedings of the International Symposium on Programming, 1980

Electronic Category Theory.

Rod M. Burstall

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

HOPE: An Experimental Applicative Language.

Rod M. Burstall, David B. MacQueen, Donald Sannella

Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., 1980

1979

The Semantics of CLEAR, A Specification Language.

Rod M. Burstall, Joseph A. Goguen

Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979

1977

A Transformation System for Developing Recursive Programs.

Rod M. Burstall, John Darlington

J. ACM, 1977

Putting Theories Together to Make Specifications.

Rod M. Burstall, Joseph A. Goguen

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976

Subgraph Isomorphism, Matching Relational Structures and Maximal Cliques.

Harry G. Barrow, Rod M. Burstall

Inf. Process. Lett., 1976

A System which Automatically Improves Programs.

John Darlington, Rod M. Burstall

Acta Informatica, 1976

1975

A Versatile System for Computer-Controlled Assembly.

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

Artif. Intell., 1975

Some transformations for developing recursive programs.

Rod M. Burstall, John Darlington

Proceedings of the International Conference on Reliable Software 1975, 1975

1974

Program Proving as Hand Simulation with a Little Induction.

Rod M. Burstall

Proceedings of the Information Processing, 1974

The algebraic theory of recursive program schemes.

Rod M. Burstall, James W. Thatcher

Proceedings of the Category Theory Applied to Computation and Control, 1974

1973

A Versatile Computer-Controlled Assembly System.

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

Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

1972

An algebraic description of programs with assertions, verification and simulation.

Rod M. Burstall

Proceedings of ACM Conference on Proving Assertions About Programs, 1972

1969

A Program for Solving Word Sum Puzzles.

Rod M. Burstall

Comput. J., 1969

Proving Properties of Programs by Structural Induction.

Rod M. Burstall

Comput. J., 1969

1968

Automation Theory and Learning Systems.

Rod M. Burstall

Comput. J., 1968

1966

Computer Design of Electricity Supply Networks by a Heuristic Method.

Rod M. Burstall

Comput. J., 1966

Book Review: Computer and Information Sciences, by J. T. Tou and R. H. Wilcox, 1965; 544 pages.

Rod M. Burstall

Comput. J., 1966

1965

Heuristic and decision tree methods on computers : some operational research applications.

Rodney Martineau Burstall

PhD thesis, 1965