Functional Programming Languages and Computer Architecture
Editat de Gilles Kahnen Limba Engleză Paperback – 27 aug 1987
Preț: 413.67 lei
Preț vechi: 517.09 lei
-20%
Puncte Express: 621
Carte tipărită la comandă
Livrare economică 07-21 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs 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: 9783540183174
ISBN-10: 3540183175
Pagini: 480
Ilustrații: VIII, 472 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.72 kg
Ediția:1987
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540183175
Pagini: 480
Ilustrații: VIII, 472 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.72 kg
Ediția:1987
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Control of parallelism in the Manchester dataflow machine.- The D-RISC—An architecture for use in multiprocessors.- Tim: A simple, lazy abstract machine to execute supercombinators.- The G-machine as a representation of stack semantics.- Categorical multi-combinators.- Evaluating functional programs on the flagship machine.- GRIP — a high-performance architecture for parallel graph reduction.- Concurrent garbage collection on stock hardware.- Matrix algebra and applicative programming.- Attribute grammars as a functional programming paradigm.- The planar topology of functional programs.- Functional programming with sets.- A theory for natural modelisation and implementation of functions with variable arity.- Pomset interpretations of parallel functional programs.- SIGNAL: A declarative language for synchronous programming of real-time systems.- Controlling the behaviour of functional language systems.- A standard ML compiler.- Performance polymorphism.- Mapping a single-assignment language onto the warp systolic array.- Clean — A language for functional graph rewriting.- Projections for strictness analysis.- Detecting sharing of partial applications in functional programs.- Finding fixed points in finite lattices.- Evaluation transformers — A model for the parallel evaluation of functional languages (extended abstract).