A System which Automatically Improves Programs

Darlington, John; Burstall, Rod M.

A System which Automatically Improves Programs

Download BibTeX Cite

Proceedings of the Third International Joint Conference on Artificial Intelligence. Automatic Programming. Pages 479-484.

Abstract

We give methods of mechanically converting programs that are easy to understand into more efficient ones, converting recursion equations using high level operations into lower level flowchart programs. The main transformations involved are (i) recursion removal (ii) eliminating common subexpressions and combining loops (iii) replacing procedure calls by their bodies (iv) introducing assi~nments which overwrite list cells no longer in use tcompile-time garbage collection).

John Darlington, and Rod M. Burstall. 1973. A System which Automatically Improves Programs. In Proceedings of the Third International Joint Conference on Artificial Intelligence, IJCAI-73. IJCAI, 479–484. https://ijcai.org/proceedings/1973/61

@inproceedings{ijcai1973p61,
  title     = {A System which Automatically Improves Programs},
  author    = {Darlington, John and Burstall, Rod M.},
  booktitle = {Proceedings of the Third International Joint Conference on
               Artificial Intelligence, {IJCAI-73}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Nils J. Nilsson},
  pages     = {479--484},
  year      = {1973},
  month     = {8},
  note      = {Automatic Programming},
  url       = {https://ijcai.org/proceedings/1973/61},
}

TY  - CPAPER
TI  - A System which Automatically Improves Programs
AU  - Darlington, John
AU  - Burstall, Rod M.
T2  - Proceedings of the Third International Joint Conference on Artificial Intelligence, IJCAI-73
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1973
SP  - 479
EP  - 484
UR  - https://ijcai.org/proceedings/1973/61
ER  -