ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstract data type support in Prolog and its relation to parallelism
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Constraint-based termination analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verifiable partial specifications for logic programming
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
A precise type analysis of logic programs
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Delegation logic: A logic-based approach to distributed authorization
ACM Transactions on Information and System Security (TISSEC)
Directional Type Checking for Logic Programs: Beyond Discriminative Types
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Improving Computations in a Typed Functional Logic Language
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Well-Typed Logic Programs Are not Wrong
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
The Head Condition and Polymorphic Recursion
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Polymorphic directional types for logic programming
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
A new framework for declarative programming
Theoretical Computer Science
Order-sorted logic programming with predicate hierarchy
Artificial Intelligence
Generic program monitoring by trace analysis
Theory and Practice of Logic Programming
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
Towards a Type Discipline for Answer Set Programming
Types for Proofs and Programs
Extending Constructive Logic Negation with Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Alternation as a programming paradigm
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Hi-index | 0.01 |