POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Equivalences of logic programs
Foundations of deductive databases and logic programming
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Declarative modeling of the operational behavior of logic languages
Theoretical Computer Science
Analysis of constraint logic programs
Proceedings of the 1990 North American conference on Logic programming
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Equivalence-preserving first-order unfold/fold transformation systems
Theoretical Computer Science - Selected papers of the Second International Conference on algebraic and logic programming, Nancy, France, October 1–3, 1990
A transformation system for deductive database modules with perfect model semantics
Theoretical Computer Science
The 3 R's of optimizing constraint logic programs: refinement, removal and reordering
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Differential logic programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
CLP( R ) and some electrical engineering problems
Journal of Automated Reasoning
A compositional semantics for logic programs
FGCS'921 Selected papers of the conference on Fifth generation computer systems
PLILP '92 Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming
A Transformation System for Definite Programs Based on Termination Analysis
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
Simultaneous Replacement in Normal Programs.
Simultaneous Replacement in Normal Programs.
Transformations of CLP modules
Transformations of CLP modules
A transformation system for CLP with dynamic scheduling and CCP
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Hi-index | 0.00 |