A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Communications of the ACM
On the transformation of logic programs with instantiation based computation rules
Journal of Symbolic Computation
First order compiler: A deterministic logic program synthesis algorithm
Journal of Symbolic Computation
A method for specializing logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A strategy for transforming generate and test logic programs
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Deductive and inductive synthesis of equational programs
Journal of Symbolic Computation - Special issue on automatic programming
Journal of Symbolic Computation - Special issue on automatic programming
Logic program synthesis from incomplete specifications
Journal of Symbolic Computation - Special issue on automatic programming
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
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
Modeling a Hardware Synthesis Methodology in Isabelle
Formal Methods in System Design
Transformations of CCP programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A New Technique for Verifying and Correcting Logic Programs
Journal of Automated Reasoning
Proving Correctness and Completeness of Normal Programs - A Declarative Approach
Proceedings of the 17th International Conference on Logic Programming
Program Derivation = Rules + Strategies
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Proving correctness and completeness of normal programs – a declarative approach
Theory and Practice of Logic Programming
A refinement calculus for logic programs
Theory and Practice of Logic Programming
A Multiple-Clause Folding Rule Using Instantiation and Generalization
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Associative-commutative rewriting
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
A logic programming and verification system for recursive quantificational logic
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Logic program derivation for a class of first order logic relations
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Logic programming in artificial intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
The transformational approach to program development
A 25-year perspective on logic programming
A Multiple-Clause Folding Rule Using Instantiation and Generalization
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Logic programming: from underspecification to undefinedness
CATS '12 Proceedings of the Eighteenth Computing: The Australasian Theory Symposium - Volume 128
| Hi-index | 0.00 |