| 000 -LEADER |
|---|
| fixed length control field |
04179nam a22005175i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| ISBN |
9783540479635 |
| -- |
978-3-540-47963-5 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.0151 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Graph Reduction |
| Sub Title |
Proceedings of a Workshop Santa Fé, New Mexico, USA September 29–October 1, 1986 / |
| Statement of responsibility, etc |
edited by Joseph H. Fasel, Robert M. Keller. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication |
Berlin, Heidelberg : |
| Name of publisher |
Springer Berlin Heidelberg, |
| Year of publication |
1987. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Number of Pages |
XVI, 450 p. |
| Other physical details |
online resource. |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
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 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Logic, Symbolic and mathematical. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computation by Abstract Devices. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Mathematical Logic and Formal Languages. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Processor Architectures. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Programming Techniques. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Mathematical Logic and Foundations. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Fasel, Joseph H. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Keller, Robert M. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://dx.doi.org/10.1007/3-540-18420-1 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
E-BOOKS |
| 264 #1 - |
|---|
| -- |
Berlin, Heidelberg : |
| -- |
Springer Berlin Heidelberg, |
| -- |
1987. |
| 336 ## - |
|---|
| -- |
text |
| -- |
txt |
| -- |
rdacontent |
| 337 ## - |
|---|
| -- |
computer |
| -- |
c |
| -- |
rdamedia |
| 338 ## - |
|---|
| -- |
online resource |
| -- |
cr |
| -- |
rdacarrier |
| 347 ## - |
|---|
| -- |
text file |
| -- |
PDF |
| -- |
rda |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| -- |
0302-9743 ; |
