Loading...
Please wait, while we are loading the content...
Similar Documents
Sequential and parallel abstract machines for optimal reduction.
| Content Provider | CiteSeerX |
|---|---|
| Author | Pedicini, Marco Pellitta, Giulio Piazza, Mario |
| Abstract | 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 |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Optimal Reduction Parallel Abstract Machine Calculus Reduction Virtual Reduction Ubiquitary Object New Approach Parallel Version Formal Definition |
| Content Type | Text |
| Resource Type | Article |