Programs as Data Objects
点此进入淘宝搜索页搜索分類: 图书,计算机/网络,计算机理论,
作者：
出 版 社： 湖南文艺出版社
出版时间：字数：版次：页数： 279印刷时间：开本：印次：纸张： 胶版纸I S B N ： 3540420681包装： 平装编辑推荐
内容简介
"This book constitutes the refereed proceedings of the Second Symposium on Programs as Data Objects, PADO 2001, held in Aarhus, Denmark, in May 2001.
The 14 revised full papers presented were carefully reviewed and selected from 30 submissions. Various aspects of looking at programs as data objects are covered from the point of view of program analysis, program transformation, computational complexity, etc."
作者简介
目录
Invited Opening Talk
Program Analysis for Implicit Computational Complexity
Contributed Papers
Deriving Pre-conditions for Array Bound Check Elimination
Type Systems for Useless-Variablle 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-Ootimality
Invited Closing Talk
Bottom-Up Deduction with Deletion and Priorities
Author Index
媒体评论
