Add to ORKGAbstract-Write down the definition of a recursion operator on a piece of paper. Tell me its type, but be careful not to let me see the operator's definition. I will tell you an optimization theorem that the operator satisfies. As an added bonus, I will also give you a proof of correctness for the optimisation, along with a formal guarantee about its effect on performance. The purpose of this paper is to explain these tricks
The programs that are easiest to write and understand are often not the most efficient. This thesis...
A program optimisation must have two key properties: it must preserve the meaning of programs (corre...
Recursion is a well-known and powerful programming technique, with a wide variety of applications. ...
Write down the definition of a recursion operator on a piece of paper. Tell me its type, but be care...
The worker/wrapper transformation is a general-purpose technique for refactoring recursive programs ...
The worker/wrapper transformation is a general-purpose technique for refactoring recursive pro-grams...
The worker/wrapper transformation is a general-purpose technique for refactoring recursive pro-grams...
AbstractProblems of the effective synthesis of fastest programs (modulo a recursive factor) for recu...
AbstractAn algebraic technique for reasoning about recursive programs is proposed. The technique is ...
The object of this paper is to study the mechanism of recursion in a simple, LISP-like programming l...
AbstractThis paper shows how the Improvement Theorem — a semantic condition for establishing the tot...
The research described in this paper involved developing transformation techniques which increase t...
The research described in this paper involved developing transformation techniques which increase th...
The worker/wrapper transformation is a general technique for improving the performance of re-cursive...
AbstractIterative forms are derived for a class of recursive functions, i.e. the recursion is “remov...
The programs that are easiest to write and understand are often not the most efficient. This thesis...
A program optimisation must have two key properties: it must preserve the meaning of programs (corre...
Recursion is a well-known and powerful programming technique, with a wide variety of applications. ...
Write down the definition of a recursion operator on a piece of paper. Tell me its type, but be care...
The worker/wrapper transformation is a general-purpose technique for refactoring recursive programs ...
The worker/wrapper transformation is a general-purpose technique for refactoring recursive pro-grams...
The worker/wrapper transformation is a general-purpose technique for refactoring recursive pro-grams...
AbstractProblems of the effective synthesis of fastest programs (modulo a recursive factor) for recu...
AbstractAn algebraic technique for reasoning about recursive programs is proposed. The technique is ...
The object of this paper is to study the mechanism of recursion in a simple, LISP-like programming l...
AbstractThis paper shows how the Improvement Theorem — a semantic condition for establishing the tot...
The research described in this paper involved developing transformation techniques which increase t...
The research described in this paper involved developing transformation techniques which increase th...
The worker/wrapper transformation is a general technique for improving the performance of re-cursive...
AbstractIterative forms are derived for a class of recursive functions, i.e. the recursion is “remov...
The programs that are easiest to write and understand are often not the most efficient. This thesis...
A program optimisation must have two key properties: it must preserve the meaning of programs (corre...
Recursion is a well-known and powerful programming technique, with a wide variety of applications. ...