Reduction strategies in subtree replacement systems.

Authors:
Michael James O'Donnell
Affiliations:
-
Venue:
Reduction strategies in subtree replacement systems.
Year:
1976

Citing 0
Cited 3

Minimal and Optimal Computations of Recursive Programs

Journal of the ACM (JACM)
A Hierarchical Approach to Formal Semantics With Application to the Definition of PL/ CS

ACM Transactions on Programming Languages and Systems (TOPLAS)
Subtree replacement systems: A unifying theory for recursive equations, LISP, lucid and combinatory logic

STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing

Quantified Score

Hi-index	0.00

Visualization

Abstract