×
O’Donnell, Michael J.

Computing in systems described by equations. (English) Zbl 0421.68038

Lecture Notes in Computer Science. 58. Berlin-Heidelberg-New York: Springer-Verlag. XIV, 111 p. (1977).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0421.68038

Cited in 1 Review
Cited in 67 Documents

MSC:

68Q65 Abstract data types; algebraic specification
68N01 General topics in the theory of software
03B40 Combinatory logic and lambda calculus
08B05 Equational logic, Mal’tsev conditions

Keywords:

functional programming; recursive equations; term rewriting; confluence property; Church-Rosser property; termination; optimality of the rewriting process; interpreters; LISP; relationship with other semantics definitions; operational semantics; subtree replacement systems; lambda calculus; combinatory logic; equational logic
Cite Review PDF