Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29 October 1, 1986
This volume describes recent research in graph reduction and related areas of functional and logic programming, as reported at a workshop in 1986. The papers are based on the presentations, and because the final versions were prepared after the workshop, they reflect some of the discussions as well....
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
279 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Graph reduction, proceedings, of a workshop, Sante Fe, New Mexico, USA, September 29-October 1, 1986 ; sp, by the Los Alamos national laboratory of the University of California and Microelectronics and computer technology corporation (MCC) ; ed, Berlin, Springer, 1987, 1 vol. (XIV-450 p.), Lecture notes in computer science, 3-540-18420-1 • Graph Reduction, Texte imprimé, 9783662168295 |
Sommario:
- On the correspondence of lambda style reduction and combinator style reduction
- Head order reduction: A graph reduction scheme for the operational lambda calculus
- A simple abstract machine to execute supercombinators
- Concurrent term rewriting as a model of computation
- Alfalfa: Distributed graph reduction on a hypercube multiprocessor
- Parallel graph reduction on a supercomputer: A status report
- Target code generation from G-machine code
- Toward the design of a parallel graph reduction machine the MaRS project
- The parallel graph reduction machine, ALICE
- Overview of Rediflow II development
- Specification of reduction strategies in term rewriting systems
- Controlling reduction partial order in functional parallel programs
- Parallel garbage collection for graph machines
- Graph reduction in a parallel virtual memory environment
- Performance measurement of a G-machine implementation
- A flexible architectural study methodology
- Arrays, non-determinism, side-effects, and parallelism: A functional perspective
- A new array operation
- I-Structures: Data structures for parallel computing
- Parallel execution of an equational language
- Implementing logical variables on a graph reduction architecture
- Functional logic languages part I
- Unification of quantified terms.