Details

Autor(en) / Beteiligte

• PADO 2001
• PADO 2001
• Danvy, Olivier[Herausgeber]
• Filinski, Andrzej[Herausgeber]

Titel

Programs as Data Objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings [electronic resource]

Auflage

1st ed. 2001

Ort / Verlag

Berlin, Heidelberg : Springer Berlin Heidelberg

Erscheinungsjahr

2001

Beschreibungen/Notizen

• Bibliographic Level Mode of Issuance: Monograph
• Includes bibliographical references and index.
• 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.
• English