Rod M. Burstall

According to our database1, Rod M. Burstall
  • authored at least 41 papers between 1965 and 2006.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2006
My Friend Joseph Goguen.
Proceedings of the Algebra, Meaning, and Computation, 2006

2001
Explicit Environments.
Fundam. Inform., 2001

2000
ProveEasy: helping people learn to do proofs.
Electr. Notes Theor. Comput. Sci., 2000

Christopher Strachey - Understanding Programming Languages.
Higher-Order and Symbolic Computation, 2000

1999
Memory Management: An Abstract Formulation of Incremental Tracing.
Proceedings of the Types for Proofs and Programs, 1999

Explicit Environments.
Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

1995
Inductively Defined Relations: A Brief Tutorial (Extended Abstract).
Proceedings of the Recent Trends in Data Type Specification, 1995

1994
Terms, Proofs, and Refinement (Extended abstract)
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.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992
Institutions: Abstract Model Theory for Specification and Programming.
J. ACM, 1992

Extended Calculus of Constructions as a Specification Language (Abstract).
Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29, 1992

1991
Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories.
Theor. Comput. Sci., 1991

1988
Pebble, a Kernel Language for Modules and Abstract Data Types
Inf. Comput., 1988

A Natural Deduction treatment of Operational Semantics.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988

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

1987
Inductively Defined Functions in Functional Programming Languages.
J. Comput. Syst. Sci., 1987

1985
Inductively Defined Functions (Extended Abstract).
Proceedings of the Mathematical Foundations of Software Development, 1985

Computing with Categories.
Proceedings of the Category Theory and Computer Programming, 1985

A Categorical Unification Algorithm.
Proceedings of the Category Theory and Computer Programming, 1985

A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments.
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.
Theor. Comput. Sci., 1984

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

A Kernel Language for Abstract Data Types and Modules.
Proceedings of the Semantics of Data Types, International Symposium, 1984

Programming with Modules as Typed Functional Programming.
FGCS, 1984

1983
Introducing Institutions.
Proceedings of the Logics of Programs, 1983

Structured Theories in LCF.
Proceedings of the CAAP'83, 1983

1982
Deriving very Efficient Algorithms for Evaluating Linear Recurrence Relations Using the Program Transformation Technique.
Acta Inf., 1982

1980
Making Programs more Readable.
Proceedings of the International Symposium on Programming, 1980

Electronic Category Theory.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

HOPE: An Experimental Applicative Language.
LISP Conference, 1980

1979
The Semantics of CLEAR, A Specification Language.
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979

1977
A Transformation System for Developing Recursive Programs.
J. ACM, 1977

Putting Theories Together to Make Specifications.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976
Subgraph Isomorphism, Matching Relational Structures and Maximal Cliques.
Inf. Process. Lett., 1976

A System which Automatically Improves Programs.
Acta Inf., 1976

1975
A Versatile System for Computer-Controlled Assembly.
Artif. Intell., 1975

1974
Program Proving as Hand Simulation with a Little Induction.
IFIP Congress, 1974

The algebraic theory of recursive program schemes.
Proceedings of the Category Theory Applied to Computation and Control, 1974

1973
A System which Automatically Improves Programs.
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

A Versatile Computer-Controlled Assembly System.
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

1965
Heuristic and decision tree methods on computers : some operational research applications.
PhD thesis, 1965


  Loading...