The algebraic theory of recursive program schemes

  • R. M. Burstall
  • J. W. Thatcher
Submitted Abstract
Part of the Lecture Notes in Computer Science book series (LNCS, volume 25)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    de Bakker, J. W., "Recursive procedures," Math. Cent. Tracts 24, Amsterdam, 1971.Google Scholar
  2. [2]
    de Roever, W.P., "Operational and mathematical semantics for recursive polyadic program schemes," Proceedings, Symposium on Mathematical Foundations of Computer Science, Computing Research Centre, Slovak Academy of Sciences, Bratislava, Czechoslovakia, 1973.Google Scholar
  3. [3]
    Goguen, J., Thatcher, J., Wagner, E., and Wright, J., "A junction between computer science and category theory," I,II Basic definitions and examples; III,IV Algebraic theories and structures; V Initial factorizations and dummy variables. IBM Research Reports: I Part 1, RC-4526, September 1973; others to appear.Google Scholar
  4. [4]
    Landin, P. J., "The mechanical evaluation of expressions," Comput. J. 6 (1964) 308–320.Google Scholar
  5. [5]
    Lawvere, F. W., "Functorial semantics for algebraic theories," Proceedings, Nat'l Acad. Sci. 50 (1963) 869–872.CrossRefMathSciNetGoogle Scholar
  6. [6]
    Mac Lane, S., Category Theory for the Working Mathematician, Springer-Verlag, 1971.Google Scholar
  7. [7]
    Nivat, M., "Languages algebriques sur le magma libre et semantigue des schemas de programme," in Automata, Languages and Programming (M. Nivat, ed.) North Holland (1972) 293–308).Google Scholar
  8. [8]
    Scott, D., "The lattice of flow diagrams," Oxford University Computing Laboratory Technical Monograph PRG-3, 1970.Google Scholar
  9. [9]
    Scott, D. and Strachey, C., "Towards a mathematical semantics for computer languages," Proceedings, Symposium on Computers and Automata, Polytechnic Institute of Brooklyn 21, 1971.Google Scholar
  10. [10]
    van Wijngaardsn, A. (ed.) "Report on the algorithmic language ALGOL 68." Math. Cent. Report MR 101, Amsterdam, 1969.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • R. M. Burstall
    • 1
  • J. W. Thatcher
    • 2
  1. 1.Department of Machine IntelligenceEdinburgh UniversityEdinburghScotland
  2. 2.Mathematical Sciences DepartmentIBM T. J. Watson Research CenterYorktown Heights

Personalised recommendations