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


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

Paper in Conference Proceedings #146

Title:Using Middle-out Reasoning to Control the Synthesis of Tail Recursive Programs
Authors:Hesketh,J; Bundy,A; Smaill,AD
Date: 1992
Presented:
Keywords:








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