Division of Informatics
Forrest Hill & 80 South Bridge
| RP654 | 1993 Research Paper | Basin,D; Bundy,A; Kraan,I; Matthews,S |
|---|---|---|
| A Framework for Program Development Based on Schematic Proof | ||
| PP235 | 1992 Paper in Conference Proceedings | Bundy,A; Hesketh,J; Smaill,AD |
| Using Middle-out Reasoning to Transform Naive Programs into Tail-Recursive Ones | ||
![[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}