Paul Young. Optimization among Provably Equivalent Programs (Preliminary Abstract). In 14th Annual Symposium on Foundations of Computer Science, 15-17 October 1973, The University of Iowa, USA. pages 197-199, IEEE, 1973.
@inproceedings{Young73,
title = {Optimization among Provably Equivalent Programs (Preliminary Abstract)},
author = {Paul Young},
year = {1973},
tags = {optimization, program optimization},
researchr = {https://researchr.org/publication/Young73},
cites = {0},
citedby = {0},
pages = {197-199},
booktitle = {14th Annual Symposium on Foundations of Computer Science, 15-17 October 1973, The University of Iowa, USA},
publisher = {IEEE},
}