Bibliography
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.
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.
O'Donnell, M. J., Equational Logic as a Programming Language, MIT Press, Cambridge, Massachusetts, 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
O'Donnell, M.J. (1985). Equational logic as a programming language: Abstract. In: Parikh, R. (eds) Logics of Programs. Logic of Programs 1985. Lecture Notes in Computer Science, vol 193. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15648-8_20
Download citation
DOI: https://doi.org/10.1007/3-540-15648-8_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15648-2
Online ISBN: 978-3-540-39527-0
eBook Packages: Springer Book Archive