Efficiency estimation - Controlling search in program synthesis

Elaine Kant. Efficiency estimation - Controlling search in program synthesis. In Sakti P. Ghosh, editor, American Federation of Information Processing Societies: 1978 National Computer Conference, June 5-8, 1978, Anaheim, CA, USA. Volume 47 of AFIPS Conference Proceedings, pages 703-704, AFIPS Press, 1978.

Abstract

Abstract is missing.