Programs As Data Objects: Second Symposium, Pado 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings - Lecture Notes in Computer Science - Oliver Danvy - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540420682 - 25 kwietnia 2001
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Oliver Danvy
Programs As Data Objects: Second Symposium, Pado 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings - Lecture Notes in Computer Science

Cena
zł 222,90

Zamówione z odległego magazynu

Przewidywana dostawa 24 lis - 2 gru
Świąteczne prezenty można zwracać do 31 stycznia
Otrzymuj powiadomienia o nowych wydawnictwach Oliver Danvy

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

This volume constitutes the proceedings of the Second Symposium on Programs as Data Objects. Various aspects of looking at programs as data objects are covered from the point of view of program analysis, program transformation, and computational complexity.

Marc Notes: Includes bibliographical references and index. Table of Contents: 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. Publisher Marketing: This volume constitutes the refereed proceedings of the Second Symposium on Programs as Data Objects, PADO 2001, held in Aarhus, Denmark, in May 2001. The 14 revised full papers presented were carefully reviewed and selected from 30 submissions. Various aspects of looking at programs as data objects are covered from the point of view of program analysis, program transformation, and computational complexity.

Contributor Bio:  Danvy, Olivier Prof. Olivier Danvy is editor in chief of the Higher Order for Symbolic Computation journal, and is also editor for two books in the LNCS series. This book is written for Dr. Robert (Bob) Paige. Bob Paige, a professor of computer science and a leading researcher in the area of programming languages and transformational programming. Dr. Paige was the author of many research papers, covering related topics in programming languages, compilers, algorithms, and database design. An invited speaker at conferences and university seminars around the world, he also served regularly as a reviewer of research projects for major government agencies. He was a devoted mentor of PhD students who today hold research positions at leading universities and research centers.

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 25 kwietnia 2001
ISBN13 9783540420682
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 286
Wymiary 156 × 234 × 15 mm   ·   689 g
Język Niemiecki  
Redaktor Danvy, Olivier
Redaktor Filinski, Andrzej

Więcej od tego samego wydawcy

Zobacz wszystko od Oliver Danvy