Hoffmann, Christoph M.; O’Donnell, Michael J. Programming with equations. (English) Zbl 0481.68008 ACM Trans. Program. Lang. Syst. 4, 83-112 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 18 Documents MSC: 68N01 General topics in the theory of software 68Q60 Specification and verification (program logics, model checking, etc.) Keywords:equational programs; automatically transform a set of equations into an efficient program; nonprocedural languages; interpreters; term-rewriting systems PDF BibTeX XML Cite \textit{C. M. Hoffmann} and \textit{M. J. O'Donnell}, ACM Trans. Program. Lang. Syst. 4, 83--112 (1982; Zbl 0481.68008) Full Text: DOI OpenURL