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

Jane Hesketh, Alan Bundy, Alan Smaill

Browse the full CADE paper archive.