POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A general framework for semantics-based bottom-up abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Differential logic programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compositional analysis of modular logic programs
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the complexity of dataflow analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The replacement operation for CLP modules
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Complexity of nonrecursive logic programs with complex values
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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)
Making abstract interpretations complete
Journal of the ACM (JACM)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions
Journal of Automated Reasoning
A Fixpoint Semantics for Reasoning about Finite Failure
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
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
Termination Analysis for Tabled Logic Programming
LOPSTR '97 Proceedings of the 7th International Workshop on Logic Programming Synthesis and Transformation
Specialising Logic Programs with Respect to Call?Post Specifications
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Model Checking Communication Protocols
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
Semantics of Input-Consuming Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
Binary Speed Up for Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
Logic Programming and Co-inductive Definitions
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
A new framework for declarative programming
Theoretical Computer Science
Meta-circular abstract interpretation in prolog
The essence of computation
Sequence-based abstract interpretation of Prolog
Theory and Practice of Logic Programming
A new generic scheme for functional logic programming with constraints
Higher-Order and Symbolic Computation
Quasi-terminating logic programs for ensuring the termination of partial evaluation
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
Theoretical Computer Science
S-semantics for logic programming: A retrospective look
Theoretical Computer Science
Abstract interpretation of resolution-based semantics
Theoretical Computer Science
Constraint Functional Logic Programming Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
Abstract diagnosis of functional programs
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
A fixed point semantics for logic programs extended with cuts
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Correction of functional logic programs
ESOP'03 Proceedings of the 12th European conference on Programming
A compact fixpoint semantics for term rewriting systems
Theoretical Computer Science
On the adequateness of the connection method
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
An integrated framework for the diagnosis and correction of rule-based programs
Theoretical Computer Science
Theoretical foundations and semantics of logic programming
A 25-year perspective on logic programming
Static analysis, abstract interpretation and verification in (constraint logic) programming
A 25-year perspective on logic programming
Coalgebraic semantics for parallel derivation strategies in logic programming
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Polynomial interpretations as a basis for termination analysis of logic programs
ICLP'05 Proceedings of the 21st international conference on Logic Programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Searching semantically equivalent code fragments in logic programs
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Semantics of well-moded input-consuming logic programs
Computer Languages
Meta-variables in Logic Programming, or in Praise of Ambivalent Syntax
Fundamenta Informaticae
| Hi-index | 5.24 |