Fundamentals of data structures in PASCAL
Fundamentals of data structures in PASCAL
Making exhaustive search programs deterministic
Proceedings on Third international conference on logic programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Partial evaluation of pattern matching in strings
Information Processing Letters
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
New Generation Computing
Semantics-directed compilation of nonlinear patterns
Information Processing Letters
Toward the partial evaluation of CLP languages
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Partial evaluation of a CLP language
Proceedings of the 1990 North American conference on Logic programming
Continuation-Based Program Transformation Strategies
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
A Constraint Logic Programming Shell
PLILP '90 Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming
Tutorial on specialisation of logic programs
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Tutorial notes on partial evaluation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reducing nondeterminism while specializing logic programs
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Controlling generalization and polyvariance in partial deduction of normal logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Efficient Implementations of Software Architectures via Partial Evaluation
Automated Software Engineering
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Partial evaluation of pattern matching in strings, revisited
Nordic Journal of Computing
Fast partial evaluation of pattern matching in strings
Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
The abstraction and instantiation of string-matching programs
The essence of computation
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism
Higher-Order and Symbolic Computation
Fast partial evaluation of pattern matching in strings
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic program specialisation through partial deduction: Control issues
Theory and Practice of Logic Programming
A taxonomy of some right-to-left string-matching algorithms
WFLP'09 Proceedings of the 18th international conference on Functional and Constraint Logic Programming
Hi-index | 0.00 |