Edinburgh Research Explorer

Recursive Program Optimization Through Inductive Synthesis Proof Transformation

Research output: Contribution to journalArticle

Standard

Recursive Program Optimization Through Inductive Synthesis Proof Transformation. / Madden, P.; Bundy, Alan; Smaill, A.

In: Journal of Automated Reasoning, Vol. 22, No. 1, 1999, p. 65-115.

Research output: Contribution to journalArticle

Harvard

Madden, P, Bundy, A & Smaill, A 1999, 'Recursive Program Optimization Through Inductive Synthesis Proof Transformation' Journal of Automated Reasoning, vol. 22, no. 1, pp. 65-115. DOI: 10.1023/A:1005969312327

APA

Madden, P., Bundy, A., & Smaill, A. (1999). Recursive Program Optimization Through Inductive Synthesis Proof Transformation. Journal of Automated Reasoning, 22(1), 65-115. DOI: 10.1023/A:1005969312327

Vancouver

Madden P, Bundy A, Smaill A. Recursive Program Optimization Through Inductive Synthesis Proof Transformation. Journal of Automated Reasoning. 1999;22(1):65-115. Available from, DOI: 10.1023/A:1005969312327

Author

Madden, P. ; Bundy, Alan ; Smaill, A./ Recursive Program Optimization Through Inductive Synthesis Proof Transformation. In: Journal of Automated Reasoning. 1999 ; Vol. 22, No. 1. pp. 65-115