Meta-programming in logic programming
A classification of meta-level architectures
Meta-programming in logic programming
Tracing requirements for multi-layered meta-programming
Meta-programming in logic programming
Complete sets of frontiers in logic-based program transformation
Meta-programming in logic programming
Formalization of metaprogramming for real
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Effectiveness of global analysis in strict independence-based automatic parallelization
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Modular termination proofs for logic and pure PROLOG programs
Advances in logic programming theory
Meta-logics and logic programming
Meta-logics and logic programming
Two semantics for definite meta-programs, using the non-ground representation
Meta-logics and logic programming
From logic programming to Prolog
From logic programming to Prolog
Termination analysis: some practical properties of the norm and level mapping space
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
Constraint-based termination analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proving termination with multiset orderings
Communications of the ACM
On Termination of Meta-Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Automatically Proving Termination Where Simplification Orderings Fail
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Preserving Universal Termination through Unfold/Fold
ALP '94 Proceedings of the 4th International Conference on Algebraic and Logic Programming
On Termination of Meta-Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Hi-index | 0.00 |