Automatic Program Optimization Via the Transformation of Nuprl Synthesis Proofs

unofficial copies [PDF], [PS]


by Peter Madden

Proceedings of the 1988 Alvey Technical Conference, L. Clarke (ed.), (also available from Edinburgh as DAI Research Paper No. 392), 1988.

Abstract

No abstract.