Recursive Program Optimization Through Inductive Synthesis Proof Transformation

Peter Madden, Alan Bundy, Alan Smaill. Recursive Program Optimization Through Inductive Synthesis Proof Transformation. Journal of Automated Reasoning, 22(1):65-115, 1999.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.