A polymorphic type system for PROLOG.
Artificial Intelligence
Foundations of logic programming
Foundations of logic programming
Introduction to logic programming
Introduction to logic programming
Journal of Automated Reasoning
Detection and optimization of functional computations in Prolog
Proceedings on Third international conference on logic programming
A survey and classification of some program transformation approaches and techniques
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Automatic mode inference for logic programs
Journal of Logic Programming
Polymorphic type inference in Prolog by abstract interpretation
Proceedings of the 6th Conference on Logic programming '87
Synthesis of eureka predicates for developing logic programs
Proceedings of the third European symposium on programming on ESOP '90
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
Communications of the ACM
Making Exhaustive Search Programs Deterministic
Proceedings of the Third International Conference on Logic Programming
Hi-index | 0.00 |