Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Denotational and operational semantics for Prolog
Journal of Logic Programming
Logic programming semantics: techniques and applications
Logic programming semantics: techniques and applications
Synthesis of eureka predicates for developing logic programs
Proceedings of the third European symposium on programming on ESOP '90
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proof-techniques for recursive programs.
Proof-techniques for recursive programs.
Total correctness by local improvement in program transformation
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Total correctness by local improvement in the transformation of functional programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
Controlling generalization and polyvariance in partial deduction of normal logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Specifying Prolog Trace Models with a Continuation Semantics
LOPSTR '00 Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation
A Survey of Software Refactoring
IEEE Transactions on Software Engineering
Logic program specialisation through partial deduction: Control issues
Theory and Practice of Logic Programming
Infinite Unfolding and Transformations of Nondeterministic Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
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
The transformational approach to program development
A 25-year perspective on logic programming
Infinite Unfolding and Transformations of Nondeterministic Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Hi-index | 0.00 |