Sparse functional stores for imperative programs
IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations
A Hybrid Approach to Online and Offline Partial Evaluation
Higher-Order and Symbolic Computation
Run-Time Bytecode Specialization
PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
Strictness Analysis as Finite-Domain Constraint Solving
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Binding-Time Analysis for Both Static and Dynamic Expressions
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Eliminating Dead Code on Recursive Data
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Solving Regular Tree Grammar Based Constraints
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Improving the Precision of Equality-Based Dataflow Analyses
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Offline partial evaluation for shift and reset
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
From sequential programs to multi-tier applications by program transformation
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Flow-insensitive type qualifiers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Control-flow analysis of functional programs
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |