Collage induction : proving properties of logic programs by program synthesis
Hans Olsén · 1994
The motivation behind this thesis is to formally prove programs correct. The contributions are twofold:Firstly, a new rule of mathematical induction called collage induction, is introduced, which t ...