Logic of Programs 1985: Logics of Programs pp 255-255 | Cite as

Equational logic as a programming language: Abstract

  • Michael J. O'Donnell
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 193)


  1. Hoffmann, C. M., and O'Donnell, M. J., Programming with Equations, ACM Transactions on Programming Languages and Systems, 4:1, January 1982, pp. 83–112.Google Scholar
  2. Hoffmann, C. M., and O'Donnell, M. J., Implementation of an Interpreter for Abstract Equations 10th Annual Symposium on Principles of Programming Languages, 1984, pp. 111–120. Revised version, with R. Strandh, to appear in Software Practice and Experience.Google Scholar
  3. O'Donnell, M. J., Equational Logic as a Programming Language, MIT Press, Cambridge, Massachusetts, 1985.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Michael J. O'Donnell
    • 1
  1. 1.Department of Electrical Engineering and Computer ScienceThe Johns Hopkins UniversityBaltimore

Personalised recommendations