The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Research Paper #725

Title:Rippling on Relational Structures
Authors:Lombart,V; Deville,Y
Date:Nov 1994
Keywords:program synthesis and transformation
Abstract:The rippling heuristic has been rather successfully used to guide inductive proofs in a functional framework. We present here how that heuristic can be formalized in a relational framework, more adapted to logic programming. The rippling heuristic is first analysed to identify its key components. A formalization of these to a relational framework is then presented. The applicability and the power of our methods is illustrated on two examples: the simulation of the functional rippling's behaviour, and program transformation.

[Search These Pages] [DAI Home Page] [Comment]