Peter Madden, Alan Bundy, Alan Smaill. Recursive Program Optimization Through Inductive Synthesis Proof Transformation. Journal of Automated Reasoning, 22(1):65-115, 1999.
@article{MaddenBS99,
title = {Recursive Program Optimization Through Inductive Synthesis Proof Transformation},
author = {Peter Madden and Alan Bundy and Alan Smaill},
year = {1999},
tags = {optimization, program optimization, transformation, program transformation},
researchr = {https://researchr.org/publication/MaddenBS99},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {22},
number = {1},
pages = {65-115},
}