Chains of Recurrences (CRs) are a tool for expediting the evaluation of elementary expressions over regular grids. CR based evaluations of elementaryexpressions consist of 3 major stages: CR construction, simplification, and evaluation. This paper addresses CR simplifications. The goal of CRsimplifications is to manipulate a CR such that the resulting expression is more efficiently to evaluate. We develop CR simplification strategies which takethe computational context of CR evaluations into account. Realizing that it is infeasible to always optimally simplify a CR expression, we give heuristicstrategies which, in most cases, result in a optimal, or close-to-optimal expressions. The motivations behind our proposed strategies are discussed a...
Several measures of the complexity of a regular expression are defined. (Star height and number of a...
Combinatory Reduction Systems generalise Term Rewriting Systems. They are powerful enough to express...
A technique to expedite iterative computations which is based on multidimensional chains of recurren...
Chains of Recurrences (CR's) are introduced as an effective method to evaluate functions at reg...
Chains of Recurrences (CR’s) are introduced as an effective method to evaluate functions at regular ...
AbstractThis paper begins a three-part study of efficient evaluations of expressions, which shows th...
Compositional recurrence analysis (CRA) is a static-analysis method based on a combination of symbo...
A British gameshow titled “Countdown” has contestants generate mathematical expressions using arithm...
We present a version of so called formula size games for regular expressions. These games characteri...
We show in this paper that we can express Combinatory Reduction Systems derivations in terms of rewr...
We consider a class of simplification algorithms for algebraic and logical expressions which are of ...
AbstractThis paper is the last in a three-part study of efficient evaluations of expressions. Here t...
AbstractWe construct fast algorithms for evaluating transforms associated with families of functions...
A well-established approach to reasoning about loops during program analysis is to capture the effec...
We present a method to simplify expressions in the context of a formal, axiomatically defined, the- ...
Several measures of the complexity of a regular expression are defined. (Star height and number of a...
Combinatory Reduction Systems generalise Term Rewriting Systems. They are powerful enough to express...
A technique to expedite iterative computations which is based on multidimensional chains of recurren...
Chains of Recurrences (CR's) are introduced as an effective method to evaluate functions at reg...
Chains of Recurrences (CR’s) are introduced as an effective method to evaluate functions at regular ...
AbstractThis paper begins a three-part study of efficient evaluations of expressions, which shows th...
Compositional recurrence analysis (CRA) is a static-analysis method based on a combination of symbo...
A British gameshow titled “Countdown” has contestants generate mathematical expressions using arithm...
We present a version of so called formula size games for regular expressions. These games characteri...
We show in this paper that we can express Combinatory Reduction Systems derivations in terms of rewr...
We consider a class of simplification algorithms for algebraic and logical expressions which are of ...
AbstractThis paper is the last in a three-part study of efficient evaluations of expressions. Here t...
AbstractWe construct fast algorithms for evaluating transforms associated with families of functions...
A well-established approach to reasoning about loops during program analysis is to capture the effec...
We present a method to simplify expressions in the context of a formal, axiomatically defined, the- ...
Several measures of the complexity of a regular expression are defined. (Star height and number of a...
Combinatory Reduction Systems generalise Term Rewriting Systems. They are powerful enough to express...
A technique to expedite iterative computations which is based on multidimensional chains of recurren...