Skip to main content
PRL Project

Automatic Program Optimization Via the Transformation of Nuprl Synthesis Proofs

by Peter Madden
1988

Proceedings of 1988 Alvey Technical Conference

  • unofficial copies PDF, PS

bibTex ref: Mad88


cite link