DocumentCode

2175735

Title

Loop elimination and loop reduction A model-theoretic analysis of programs

Author

Kfoury, A.J.

fYear

1980

fDate

13-15 Oct. 1980

Firstpage

173

Lastpage

184

Keywords

Fats; Logic; Mathematics;

fLanguage

English

Publisher

ieee

Conference_Titel

Foundations of Computer Science, 1980., 21st Annual Symposium on

Conference_Location

Syracuse, NY, USA

ISSN

0272-5428

Type

conf

DOI

10.1109/SFCS.1980.25

Filename

4567817