Partial evaluation of metaprograms in a “Multiple Worlds" logic language
New Generation Computing - Special Issue: Selected Papers from the Workshop on Partial Evaluation and Mixed
Issues in the partial evaluation of meta-interpreters
Meta-programming in logic programming
The practice of Prolog
The Mixtus approach to automatic partial evaluation of full Prolog
Proceedings of the 1990 North American conference on Logic programming
PAN: a portable, parallel prolog: Its design, realisation and performance
New Generation Computing
Journal of Functional Programming
Sequence-based abstract interpretation of Prolog
Theory and Practice of Logic Programming
Detecting determinacy in prolog programs
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Determinacy inference for logic programs
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Mutual exclusion by interpolation
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs
Proceedings of the 14th symposium on Principles and practice of declarative programming
Hi-index | 0.00 |