Sciweavers

ALP
1997
Springer
14 years 1 months ago
Parallelizing Functional Programs by Generalization
Alfons Geser, Sergei Gorlatch
ALP
1997
Springer
14 years 2 months ago
Perpetuality and Uniform Normalization
We de ne a perpetual one-step reduction strategy which enables one to construct minimal (w.r.t. Levy's ordering 2 on reductions) in nite reductions in Conditional Orthogonal ...
Zurab Khasidashvili, Mizuhito Ogawa
ALP
1997
Springer
14 years 2 months ago
Optimal Non-deterministic Functional Logic Computations
Abstract. We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class of rewrite systems for supporting non-...
Sergio Antoy