A Prolog program transformation system
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Embedding boolean expressions into logic programming
Journal of Symbolic Computation
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Specialisation of Prolog and FCP programs using abstract interpretation
New Generation Computing - Special Issue: Selected Papers from the Workshop on Partial Evaluation and Mixed
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
CLP and constraint abstraction
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The derivation of an algorithm for program specialisation
Logic programming
Meta-programming in logic programming
Meta-programming in logic programming
Complete sets of frontiers in logic-based program transformation
Meta-programming in logic programming
Issues in the partial evaluation of meta-interpreters
Meta-programming in logic programming
Partial evaluation of a CLP language
Proceedings of the 1990 North American conference on Logic programming
A partial evaluation procedure for logic programs
Proceedings of the 1990 North American conference on Logic programming
The Mixtus approach to automatic partial evaluation of full Prolog
Proceedings of the 1990 North American conference on Logic programming
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Partial evaluation of pattern matching in constraint logic programming languages
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Communications of the ACM
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Automated Strategies for Specializing Constraint Logic Programs
LOPSTR '00 Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation
A tour of tempo: a program specializer for the C language
Science of Computer Programming - Special issue on program transformation
Using real relaxations during program specialization
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Controlling Polyvariance for Specialization-based Verification
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
| Hi-index | 0.02 |