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....
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colecção: | Lecture notes in computer science
279 |
| Assuntos: | |
| Acesso em linha: | 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 |
| LEADER | 04774nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 945215 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155218557 | ||
| 020 | |a 9783540479635 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Workshop on graph reduction |d (1986 |c :Santa Fé). | |
| 245 | 1 | 0 | |a Graph reduction : |b proceedings of a workshop, Santa Fé, New Mexico, USA, September 29 October 1, 1986 |c [edited by] Joseph H. Fasel, Robert M. Keller. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 279 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. Some benefits of graph reduction can be found in these papers: - A mathematically elegant denotational semantics - Lazy evaluation, which avoids recomputation and makes programming with infinite data structures (such as streams) possible - A natural tasking model for fine-to-medium grain parallelism. The major topics covered are computational models for graph reduction, implementation of graph reduction on conventional architectures, specialized graph reduction architectures, resource control issues such as control of reduction order and garbage collection, performance modelling and simulation, treatment of arrays, and the relationship of graph reduction to logic programming. | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Microprocesseurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Fasel, Joseph H., |d 19..- |4 pbd | |
| 700 | 1 | |a Keller, Robert M., |d 19..- |4 pbd | |
| 776 | 0 | |0 020480776 |t Graph reduction |o proceedings |o of a workshop, Sante Fe, New Mexico, USA, September 29-October 1, 1986 ; sp |f by the Los Alamos national laboratory of the University of California and Microelectronics and computer technology corporation (MCC) ; ed |c Berlin |n Springer |d 1987 |p 1 vol. (XIV-450 p.) |s Lecture notes in computer science |z 3-540-18420-1 | |
| 776 | 0 | |t Graph Reduction |b Texte imprimé |z 9783662168295 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-18420-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-67RT5ZPT-T |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74791267X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-18420-1 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750925469 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-18420-1 |z Accès INSA CVL | |
| 997 | |0 945215 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||