Inductively defined functions

Extended abstract
  • R. M. Burstall
Advanced Seminar On The Role Of Semantics In Software Development The Role Of Semantics In Language Design
Part of the Lecture Notes in Computer Science book series (LNCS, volume 185)


  1. Burstall, R. and Goguen, J. An informal introduction to specification using Clear. In Boyer, R. and Moore, J (editor), The Correctness Problem in Computer Science, pages 185–213. Academic Press, 1981.Google Scholar
  2. Goguen, J. and Burstall, R. Introducing institutions. In Logics of Programs. Springer LNCS No. 164, (eds. Clarke and Kozen), 1984.Google Scholar
  3. Milner, R. The Standard ML core language. Computer Science Dept. Report, Univ. of Edinburgh, 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • R. M. Burstall
    • 1
  1. 1.Dept. of Computer ScienceUniversity of EdinburghEdinburghScotland, U.K.

Personalised recommendations