Sequential and Parallel Abstract Machines for Optimal Reduction
Marco Pedicini · 2014
Abstract. In this paper, we explore a new approach to abstract machines and optimal reduction through streams, ubiquitary objects in machine capable of performing directed virtual reduction (DVR) and then we extend it to its parallel version, whose equivalence is explained through the properties of DVR itself. The result is a formal definition of PELCR, a software for λ-calculus reductions based on the Geometry of machine, which in principle can also be applied to infinite streams. 1