Edinburgh Research Explorer

Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. / Hesketh, J.; Bundy, Alan; Smaill, A.

Automated Deduction—CADE-11: 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992 Proceedings. Springer Berlin Heidelberg, 1992. p. 310-324 (Lecture Notes in Computer Science; Vol. 607).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Hesketh, J, Bundy, A & Smaill, A 1992, Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. in Automated Deduction—CADE-11: 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992 Proceedings. Lecture Notes in Computer Science, vol. 607, Springer Berlin Heidelberg, pp. 310-324. DOI: 10.1007/3-540-55602-8_174

APA

Hesketh, J., Bundy, A., & Smaill, A. (1992). Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. In Automated Deduction—CADE-11: 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992 Proceedings (pp. 310-324). (Lecture Notes in Computer Science; Vol. 607). Springer Berlin Heidelberg. DOI: 10.1007/3-540-55602-8_174

Vancouver

Hesketh J, Bundy A, Smaill A. Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. In Automated Deduction—CADE-11: 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992 Proceedings. Springer Berlin Heidelberg. 1992. p. 310-324. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/3-540-55602-8_174

Author

Hesketh, J. ; Bundy, Alan ; Smaill, A./ Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. Automated Deduction—CADE-11: 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992 Proceedings. Springer Berlin Heidelberg, 1992. pp. 310-324 (Lecture Notes in Computer Science).