A polymorphic type system for PROLOG.
Artificial Intelligence
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Polymorphic type inference in Prolog by abstract interpretation
Proceedings of the 6th Conference on Logic programming '87
Type inference problems: a survey
MFCS '90 Proceedings on Mathematical foundations of computer science 1990
A finite presentation theorem for approximating logic programs
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A practical framework for the abstract interpretation of logic programs
Journal of Logic Programming
A type system for logic program
Journal of Logic Programming
Abstract interpretation and application to logic programs
Journal of Logic Programming
Bottom-up dataflow analysis of normal logic programs
Journal of Logic Programming
Deriving descriptions of possible values of program variables by means of abstract interpretation
Journal of Logic Programming
Static analysis of logic programs for independent and parallelism
Journal of Logic Programming
Compile-time derivation of variable dependency using abstract interpretation
Journal of Logic Programming
Improving abstract interpretations by combining domains
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Abstract interpretation based on OLDT resolution
Journal of Logic Programming
Abstract interpretation based on Alexander templates
Journal of Logic Programming
Freeness analysis for logic programs—and correctness?
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Towards a Framework for the Abstract Interpretation of Logic Programs
PLILP '88 Proceedings of the 1st International Workshop on Programming Language Implementation and Logic Programming
Proceedings of the 9th International Conference on Automated Deduction
A precise type analysis of logic programs
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
On Dart-Zobel Algorithm for testing regular type inclusion
ACM SIGPLAN Notices
A practical type analysis for verification of modular prolog programs
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Improving precision of type analysis using non-discriminative union
Theory and Practice of Logic Programming
| Hi-index | 0.00 |