Towards bridging the gap between programming languages and partial evaluation
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Combining Program and Data Specialization
Higher-Order and Symbolic Computation
Implementing Circularity Using Partial Evaluation
PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
Automatic program specialization for Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Offline partial evaluation can be as accurate as online partial evaluation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization
Higher-Order and Symbolic Computation
Polymorphic specialization for ML
ACM Transactions on Programming Languages and Systems (TOPLAS)
A tour of tempo: a program specializer for the C language
Science of Computer Programming - Special issue on program transformation
Remote specialization for efficient embedded operating systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modular class analysis with DATALOG
SAS'03 Proceedings of the 10th international conference on Static analysis
| Hi-index | 0.00 |