Implementation of Functional Languages
Editat de Ricardo Pena, Thomas Artsen Limba Engleză Paperback – 20 mai 2003
Preț: 320.32 lei
Preț vechi: 400.41 lei
-20%
Puncte Express: 480
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 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: 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.