A unified view of programming schemas and proof methods
Pierre Flener, Julian Richardson · 1999
The objectives of this investigation are (a) to study the sim-ilarities between proof planning and schema-guided pro-gramming (i.e., between proof methods and programming schemas), and (b) to express the latter in terms of the