1 option
Programs as Data Objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings / edited by Olivier Danvy, Andrzej Filinski.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 2053.
- Lecture Notes in Computer Science, 0302-9743 ; 2053
- Language:
- English
- Subjects (All):
- Computer logic.
- Data structures (Computer science).
- Application software.
- Programming languages (Electronic computers).
- Logic, Symbolic and mathematical.
- 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.
- Local Subjects:
- Logics and Meanings of Programs.
- Data Structures and Information Theory.
- Computer Applications.
- Programming Languages, Compilers, Interpreters.
- Mathematical Logic and Formal Languages.
- Software Engineering.
- Physical Description:
- 1 online resource (X, 286 pages).
- Edition:
- First edition 2001.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
- System Details:
- text file PDF
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-44978-2
- 9783540449782
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.