Graph Reduction
Editat de Joseph H. Fasel, Robert M. Kelleren Limba Engleză Paperback – 7 oct 1987
Preț: 386.49 lei
Puncte Express: 580
Carte tipărită la comandă
Livrare economică 14-28 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540184201
ISBN-10: 3540184201
Pagini: 472
Ilustrații: XVI, 450 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.71 kg
Ediția:1987
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540184201
Pagini: 472
Ilustrații: XVI, 450 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.71 kg
Ediția:1987
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.