167
click to vote
FSTTCS
1991
Springer
15 years 8 months ago
1991
Springer
This paper closes a gap in the foundations of the theory of average case complexity. First, we clarify the notion of a feasible solution for a search problem and prove its robustne...
DCC
1994
IEEE
15 years 8 months ago
1994
IEEE
118
click to vote
FPCA
1991
15 years 8 months ago
1991
We tackle the problem of detecting global variables in functional programs. We present syntactic criteria for single-threading which improves upon previous solutions (both syntact...
126
click to vote
FPCA
1991
15 years 8 months ago
1991
We develop a calculus for lazy functional programming based on recursion operators associated with data type de nitions. For these operators we derive various algebraic laws that ...