A. J. Kfoury. Loop Elimination and Loop Reduction-A Model-Theoretic Analysis of Programs (Partial Report). In 21st Annual Symposium on Foundations of Computer Science, 13-15 October 1980, Syracuse, New York, USA. pages 173-184, IEEE, 1980.
@inproceedings{Kfoury80,
title = {Loop Elimination and Loop Reduction-A Model-Theoretic Analysis of Programs (Partial Report)},
author = {A. J. Kfoury},
year = {1980},
tags = {program analysis, analysis},
researchr = {https://researchr.org/publication/Kfoury80},
cites = {0},
citedby = {0},
pages = {173-184},
booktitle = {21st Annual Symposium on Foundations of Computer Science, 13-15 October 1980, Syracuse, New York, USA},
publisher = {IEEE},
}