Programs as Data Objects: Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings de Olivier Danvy

Programs as Data Objects: Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings: Lecture Notes in Computer Science, cartea 2053

Editat de Olivier Danvy, Andrzej Filinski

en Limba Engleză Paperback – 25 apr 2001

Din seria Lecture Notes in Computer Science

20%

Preț: 323^.37 lei
20%

Preț: 461^.65 lei
20%

Preț: 461^.32 lei
20%

Preț: 390^.69 lei
20%

Preț: 527^.36 lei
15%

Preț: 388^.50 lei
20%

Preț: 461^.52 lei
20%

Preț: 390^.35 lei
20%

Preț: 496^.64 lei
20%

Preț: 461^.52 lei
20%

Preț: 389^.72 lei
15%

Preț: 461^.85 lei
20%

Preț: 389^.90 lei
20%

Preț: 497^.04 lei
20%

Preț: 462^.05 lei
20%

Preț: 252^.15 lei
20%

Preț: 391^.14 lei
20%

Preț: 532^.54 lei
20%

Preț: 461^.83 lei
20%

Preț: 255^.91 lei
20%

Preț: 498^.46 lei
20%

Preț: 497^.55 lei
20%

Preț: 499^.36 lei
20%

Preț: 390^.12 lei
20%

Preț: 391^.20 lei
20%

Preț: 532^.41 lei
20%

Preț: 391^.20 lei
20%

Preț: 391^.14 lei
20%

Preț: 461^.77 lei
20%

Preț: 390^.35 lei
20%

Preț: 461^.06 lei
20%

Preț: 461^.65 lei
20%

Preț: 390^.18 lei
20%

Preț: 392^.64 lei
20%

Preț: 390^.94 lei
20%

Preț: 391^.86 lei
20%

Preț: 389^.85 lei
20%

Preț: 498^.32 lei
20%

Preț: 462^.67 lei
20%

Preț: 460^.98 lei
20%

Preț: 424^.26 lei
20%

Preț: 639^.72 lei
15%

Preț: 535^.92 lei
20%

Preț: 532^.28 lei
20%

Preț: 535^.77 lei
5%

Preț: 516^.27 lei
20%

Preț: 461^.57 lei
20%

Preț: 498^.50 lei
20%

Preț: 461^.83 lei
20%

Preț: 249^.95 lei

Preț: 329^.25 lei

Preț vechi: 411^.55 lei
-20% Nou

Puncte Express: 494

:
58^.26€ • 68^.32$ • 51^.17£

Carte tipărită la comandă

Livrare economică 05-19 februarie 26

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540420682
ISBN-10: 3540420681
Pagini: 296
Ilustrații: X, 286 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.69 kg
Ediția:2001
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.

Caracteristici

Includes supplementary material: sn.pub/extras

Papetărie, jocuri, reviste