## Logic-based Program Synthesis and Transformation |

### From inside the book

Try this search over all volumes: **speciļ¬ cation**

Results 1-0 of 0

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

A Multilevel Approach to Program Synthesis l | 1 |

Programs Without Failures | 28 |

A Bossi N Cocco | 44 |

Copyright | |

15 other sections not shown

### Common terms and phrases

abstract adorned algorithm analysis applied argument atoms called clause Computer Science conjunction constraints correct Datalog DCLR DCRL deﬁned Deﬁnition demo denoted derivation example ﬁnite ﬁrst ﬁrst-order fold foldl formula Fuchs function functional programming generalisation given global search goal implementation induction inference inﬁnite input instance instantiated language left-propagation Lemma LNCS Logic Program Synthesis m-tree mergesort meta node noFD NuPRL open program operation optimisability partial deduction partial evaluation predicate Proc procedure Proceedings program schemas program synthesis program transformation Programming Languages Prolog proof tree propositional prove quasi-termination query recursive reﬁnement relation renaming rewriting rules satisﬁed schema pattern schemata second-order second-order logic Section semantics sequence SLD-tree specialisation speciﬁcation split Springer-Verlag strategy strongly connected component substitution symbols techniques template termination termination analysis Theorem theory tion transformation schema unfolding uniﬁcation uniﬁer variables well-typed