skip to content
Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986 Preview this item
ClosePreview this item
Checking...

Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986

Author: Joseph H Fasel; Robert M Keller; Los Alamos Scientific Laboratory.; Microelectronics and Computer Technology Corporation.
Publisher: Berlin ; New York : Springer-Verlag, ©1987.
Series: Lecture notes in computer science, 279.
Edition/Format:   Book : Document : Conference publication   Computer File : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic resources (Books)
Conference proceedings
Congresses
Congrès
Material Type: Conference publication, Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: Joseph H Fasel; Robert M Keller; Los Alamos Scientific Laboratory.; Microelectronics and Computer Technology Corporation.
ISBN: 0387184201 9780387184203 3540184201 9783540184201
OCLC Number: 16919650
Notes: "Sponsored by the Los Alamos National Laboratory of the University of California and Microelectronics and Computer Technology Corporation (MCC)"--Preface.
Description: xvi, 450 pages : illustrations ; 25 cm.
Details: Mode of access: World Wide Web.
Contents: 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.
Series Title: Lecture notes in computer science, 279.
Responsibility: Joseph H. Fasel, Robert M. Keller (eds.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/16919650>
library:oclcnum"16919650"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/16919650>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
<http://viaf.org/viaf/132552783>
rdf:typeschema:Organization
schema:name"Microelectronics and Computer Technology Corporation."
schema:contributor
schema:contributor
schema:copyrightYear"1987"
schema:datePublished"1987"
schema:exampleOfWork<http://worldcat.org/entity/work/id/1065544605>
schema:genre"Conference proceedings."@en
schema:genre"Electronic resources (Books)"@en
schema:genre"Conference proceedings"@en
schema:inLanguage"en"
schema:name"Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986"@en
schema:publisher
schema:url
schema:workExample
schema:workExample
umbel:isLike<http://d-nb.info/880089326>

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.