Programs as Data Objects Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Danvy, Olivier (Editor, http://id.loc.gov/vocabulary/relators/edt), Filinski, Andrzej (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Edition: 1st ed. 2001.
• Series: Lecture Notes in Computer Science, 2053
• Subjects: Computer logic.; Data structures (Computer science).; Application software.; Programming languages (Electronic computers).; Mathematical logic.; Software engineering.; Logics and Meanings of Programs.; Data Structures and Information Theory.; Computer Applications.; Programming Languages, Compilers, Interpreters.; Mathematical Logic and Formal Languages.; Software Engineering.

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.