Cantitate/Preț
Produs

Implementation of Functional Languages

Editat de Thomas Arts, Markus Mohnen
en Limba Engleză Paperback – 10 apr 2002

Preț: 31726 lei

Preț vechi: 39657 lei
-20%

Puncte Express: 476

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 40000 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: 9783540435372
ISBN-10: 3540435379
Pagini: 204
Ilustrații: VIII, 196 p.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.32 kg
Ediția:2002
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Sized Types for Typing Eden Skeletons.- A Compilation Scheme for a Hierarchy of Array Types.- Optimizations on Array Skeletons in a Shared Memory Environment.- Theorem Proving for Functional Programmers.- Proving Correctness of Programs with IO —A Paradigm Comparison.- Proving the Correctness of the STG Machine.- Dynamic Cheap Eagerness.- A Polynomial-Cost Non-determinism Analysis.- Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler.- Runtime Behavior of Conversion Interpretation of Subtyping.- A Generic Programming Extension for Clean.