Programs as Data Objects [electronic resource] : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings /
Material type: TextSeries: Lecture Notes in Computer Science ; 2053Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001Edition: 1st ed. 2001Description: X, 286 p. online resourceContent type:- text
- computer
- online resource
- 9783540449782
- Computer science
- Data structures (Computer science)
- Information theory
- Application software
- Compilers (Computer programs)
- Machine theory
- Software engineering
- Computer Science Logic and Foundations of Programming
- Data Structures and Information Theory
- Computer and Information Systems Applications
- Compilers and Interpreters
- Formal Languages and Automata Theory
- Software Engineering
- 004.0151 23
- QA75.5-76.95
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.
There are no comments on this title.