Edinburgh Research Explorer

General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving. / Madden, P.; Bundy, Alan.

EAST-WEST AI CONFERENCE: from theory to practice - EWAIC'93. 1993.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Madden, P & Bundy, A 1993, General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving. in EAST-WEST AI CONFERENCE: from theory to practice - EWAIC'93.

APA

Madden, P., & Bundy, A. (1993). General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving. In EAST-WEST AI CONFERENCE: from theory to practice - EWAIC'93

Vancouver

Madden P, Bundy A. General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving. In EAST-WEST AI CONFERENCE: from theory to practice - EWAIC'93. 1993

Author

Madden, P. ; Bundy, Alan. / General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving. EAST-WEST AI CONFERENCE: from theory to practice - EWAIC'93. 1993.