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.
