Programs as Data Objects
Editat de Olivier Danvy, Andrzej Filinskien Limba Engleză Paperback – 25 apr 2001
Preț: 321.94 lei
Preț vechi: 402.43 lei
-20%
Puncte Express: 483
Carte tipărită la comandă
Livrare economică 21 iulie-04 august
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: 9783540420682
ISBN-10: 3540420681
Pagini: 296
Ilustrații: X, 286 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.45 kg
Ediția:2001
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540420681
Pagini: 296
Ilustrații: X, 286 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.45 kg
Ediția:2001
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Head First HTML and CSSElisabeth Robson-20%Preț: 287.49 lei359.36 lei -
KanbanDavid J. Anderson-20%Preț: 254.39 lei317.98 lei -
OcpJeanne BoyarskyPreț: 295.34 lei -
Professional GitBrent Laster-20%Preț: 256.30 lei320.38 lei -
Automatic Program DevelopmentOlivier Danvy-20%Preț: 632.57 lei790.71 lei -
Pro ASP.NET Web API SecurityBadrinarayanan Lakshmiraghavan-20%Preț: 525.86 lei657.33 lei -
Android CookbookIan F Darwin-20%Preț: 420.53 lei525.67 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 299.70 lei374.63 lei -
The Enterprise Big Data LakeAlex Gorelik-20%Preț: 357.88 lei447.34 lei -
Feature Engineering for Machine LearningAlice Zheng-20%Preț: 329.29 lei411.62 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 368.74 lei460.93 lei -
Partial EvaluationOlivier Danvy-20%Preț: 334.04 lei417.55 lei -
-20%Preț: 329.74 lei412.17 lei
Public țintă
ResearchCuprins
Invited Opening Talk.- Program Analysis for Implicit Computational Complexity.- Contributed Papers.- Deriving Pre-conditions for Array Bound Check Elimination.- Type Systems for Useless-Variable Elimination.- Boolean Constraints for Binding-Time Analysis.- Constraint Abstractions.- Implementing Circularity Using Partial Evaluation.- Combining Forward And Backward Analyses of Temporal Properties.- Numerical Power Analysis.- Run-Time Bytecode Specialization.- A New Numerical Abstract Domain Based on Difference-Bound Matrices.- Partial Evaluation for Class-Based Object-Oriented Languages.- Driving in the Jungle.- Higher-Order Pattern Matching for Automatically Applying Fusion Transformations.- Dynamic Partial Evaluation.- Tag Elimination and Jones-Optimality.- Invited Closing Talk.- Bottom-Up Deduction with Deletion and Priorities.