Shortcut deforestation in calculational form
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Controlling generalization and polyvariance in partial deduction of normal logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extending the power of automatic constraint-based partial evaluators
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Bootstrapping higher-order program transformers from interpreters
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Automatic generation of efficient string matching algorithms by generalized partial computation
ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation
On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation
ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation
A note on elimination of simplest recursions
ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation
Program transformation system based on generalized partial computation
New Generation Computing - Partial evaluation and program transformation
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Efficient Implementations of Software Architectures via Partial Evaluation
Automated Software Engineering
Partial Evaluation of Computation Process, Revisited
Higher-Order and Symbolic Computation
Memoization in Type-Directed Partial Evaluation
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Accelerating the CKY Parsing Using FPGAs
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
Introduction to Supercompilation
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
A New Termination Approach for Specialization
SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation
WSDFU: program transformation system based on generalized partial computation
The essence of computation
Homeomorphic embedding for online termination of symbolic methods
The essence of computation
A framework for the integration of partial evaluation and abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism
Higher-Order and Symbolic Computation
Program transformations for information personalization
Computer Languages, Systems and Structures
A note on specialization of interpreters
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Hi-index | 0.00 |