Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Call-by-Value λ-Graph Rewriting
Without Rewriting
| Book Series | Lecture Notes in Computer Science |
| Publisher | Springer Berlin / Heidelberg |
| ISSN | 0302-9743 (Print) 1611-3349 (Online) |
| Volume | Volume 2505/2002 |
| Book | Graph Transformation |
| DOI | 10.1007/3-540-45832-8 |
| Copyright | 2002 |
| ISBN | 978-3-540-44310-0 |
| DOI | 10.1007/3-540-45832-8_8 |
| Pages | 75-89 |
| Subject Collection | Computer Science |
| SpringerLink Date | Tuesday, January 01, 2002 |
| |
|
Call-by-Value λ-Graph Rewriting Without Rewriting
Maribel Fernández8 and Ian Mackie9
| (8) |
LIENS (UMR 8548), Ecole Normale Supérieure, 45 Rue d’Ulm, 75005 Paris, France |
| (9) |
CNRS-LIX (UMR 7650), Ecole Polytechnique, 91128 Palaiseau, France |
Abstract
Girard’s Geometry of Interaction offers a low-level decomposition of the cut-elimination process in linear logic, which can
be used as a compilation technique for functional programming languages. It is the basis of the Geometry of Interaction Machine,
which performs call-by-name computations in graph representations of functional programs without doing any graph reduction. Computation is given by a graph traversal algorithm: a simple intuition is that of a single token traveling through a fixed
graph (the program to be evaluated), unraveling the evaluation. Here we continue this line of research to derive alternative
ways of following this execution path which give call-by-alue computations.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|