A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract).

Peter Madden, Jane Hesketh, Ian Green, Alan Bundy

Browse the full LOPSTR paper archive.