Division of Informatics
Forrest Hill & 80 South Bridge
Research Paper #725 | |
|---|---|
| Title: | Rippling on Relational Structures |
| Authors: | Lombart,V; Deville,Y |
| Date: | Nov 1994 |
| Presented: | |
| 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. |
| Download: | POSTSCRIPT COPY |
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}