Implementation of Functional Languages
Editat de Ricardo Pena, Thomas Artsen Limba Engleză Paperback – 20 mai 2003
Preț: 319.36 lei
Preț vechi: 399.20 lei
-20%
Puncte Express: 479
Preț estimativ în valută:
56.52€ • 66.05$ • 49.07£
56.52€ • 66.05$ • 49.07£
Carte tipărită la comandă
Livrare economică 20 februarie-06 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540401902
ISBN-10: 3540401903
Pagini: 264
Ilustrații: X, 254 p.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Ediția:2003
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540401903
Pagini: 264
Ilustrații: X, 254 p.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Ediția:2003
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Predictable Space Behaviour in FSM-Hume.- When Generic Functions Use Dynamic Values.- Fast Functional Lists.- Fusion in Practice.- Proving Make Correct: I/O Proofs in Haskell and Clean.- Gast: Generic Automated Software Testing.- Lazy Dynamic Input/Output in the Lazy Functional Language Clean.- PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines.- Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment.- Stacking Cycles: Functional Transformation of Circular Data.- Transforming Haskell for Tracing.- Axis Control in SAC.- Thread Migration in a Parallel Graph Reducer.- Towards a Strongly Typed Functional Operating System.- Cost Analysis Using Automatic Size and Time Inference.