A semantic approach to automatic program improvement

John Darlington. A semantic approach to automatic program improvement. PhD thesis, University of Edinburgh, UK, 1972. [doi]

Abstract

Abstract is missing.