Programs as Data Objects
|
读过这本书吗？
最近在读
读过
想读
还不熟悉
|
图书城书列：
加入到博客或社交网站：
|
|
我来评论这本书：
内容提要：
"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 |