Higher-Order Transformation of Logic Programs

Authors:
Silvija Seres;J. Michael Spivey
Affiliations:
-;-
Venue:
LOPSTR '00 Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation
Year:
2000

Citing 6
Cited 0

Logic programming semantics: techniques and applications

Logic programming semantics: techniques and applications
Algebra of programming

Algebra of programming
Program derivation via list introduction

Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi
Continuation-Based Program Transformation Strategies

Journal of the ACM (JACM)
Algebra of logic programming

Proceedings of the 1999 international conference on Logic programming
Combinators for breadth-first search

Journal of Functional Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

It has earlier been assumed that a compositional approach to algorithm design and program transformation is somehow unique to functional programming. Elegant theoretical results codify the basic laws of algorithmics within the functional paradigm and with this paper we hope to demonstrate that some of the same techniques and results are applicable to logic programming as well.