J.R. Kennaway, "An Outline of Some Results of Staples on Optimal Reduction Orders in Replacements Systems". Internal Report CSA/19/1984. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Optimal Derivations in Weak Lambda-calculi and in Orthogonal.. - Maranget (1991) (34 citations) (Correct)
....significant subclass of T l RS, there is an optimal derivation leading to normal form. Furthermore, this optimal derivation may be implemented with ordinary graphs. This paper extends the optimality result already known for the recursive program schemes [3, 19] and the graphical SK combinators [12] to Orthogonal T l RS, a clear, convenient and more abstract formalism. In all cases, the optimal normalizing derivation may be effectively computed from any normalizing derivation. In many practical cases, the optimal derivation may be computed from the starting term only. In particular, we ....
J.R. Kennaway, "An Outline of Some Results of Staples on Optimal Reduction Orders in Replacements Systems". Internal Report CSA/19/1984.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC