Vor Ort
Merkzettel Warenkorb
  • Produktbild: Graph Reduction
  • Produktbild: Graph Reduction
Band 279

Graph Reduction Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 1986

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.10.1987

Abbildungen

XVI, 450 p.

Herausgeber

Joseph H. Fasel + weitere

Verlag

Springer Berlin

Seitenzahl

450

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

709 g

Auflage

1987

Sprache

Englisch

ISBN

978-3-540-18420-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.10.1987

Abbildungen

XVI, 450 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

450

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

709 g

Auflage

1987

Sprache

Englisch

ISBN

978-3-540-18420-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Graph Reduction
  • Produktbild: Graph Reduction
  • 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.