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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Danvy, Olivier (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Filinski, Andrzej (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Computer Science, 2053
• Θέματα: 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.

Πίνακας περιεχομένων:

• 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.