Darlington, J.; Burstall, R. M. A system which automatically improves programs. (English) Zbl 0323.68008 Acta Inf. 6, 41-60 (1976). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 15 Documents MSC: 68N01 General topics in the theory of software 68W99 Algorithms in computer science 68W30 Symbolic computation and algebraic computation PDF BibTeX XML Cite \textit{J. Darlington} and \textit{R. M. Burstall}, Acta Inf. 6, 41--60 (1976; Zbl 0323.68008) Full Text: DOI