An experiment in partial evaluation: the generation of a compiler generator
Proc. of the first international conference on Rewriting techniques and applications
Proc. of a conference on Functional programming languages and computer architecture
The concept of a supercompiler
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Projections for strictness analysis
Proc. of a conference on Functional programming languages and computer architecture
A method for specializing logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deforestation: transforming programs to eliminate trees
Proceedings of the Second European Symposium on Programming
Automatic autoprojection of higher order recursive equations
Proceedings of the third European symposium on programming on ESOP '90
Arity raiser and use in program specialization
Proceedings of the third European symposium on programming on ESOP '90
A relationship between abstract interpretation and projection analysis
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
New Insights into Partial Evaluation: the SCHISM Experiment
ESOP '88 Proceedings of the 2nd European Symposium on Programming
Dependent Sums Express Separation of Binding Times
Proceedings of the 1989 Glasgow Workshop on Functional Programming
Backwards Strictness Analysis: Proved and Improved
Proceedings of the 1989 Glasgow Workshop on Functional Programming
Parameterized partial evaluation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Shortcut deforestation in calculational form
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
A bounds inference method for vector-based memoization
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Program specialization via algorithmic unfold/fold transformations
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Extending the power of automatic constraint-based partial evaluators
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Constraint-based partial evaluation for imperative languages
Journal of Computer Science and Technology
The Essence of Program Transformation by Partial Evaluation and Driving
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Program Adaptation via Output-Constraint Specialization
Higher-Order and Symbolic Computation
Positive supercompilation for a higher order call-by-value language
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Program transformations for information personalization
Computer Languages, Systems and Structures
| Hi-index | 0.00 |