The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Publication Details:
Book: Automated Deduction - CADE-11
Editors:Kapur, D.
Book#: 3-540-55602-8
Publisher:Springer-Verlag, Berlin
Pages: 310-324

Paper in Conference Proceedings #235

Title:Using Middle-out Reasoning to Transform Naive Programs into Tail-Recursive Ones
Authors:Bundy,A; Hesketh,J; Smaill,AD
Date: 1992
Keywords:program transformation, automated deduction

[Search These Pages] [DAI Home Page] [Comment]