Loop Elimination and Loop Reduction-A Model-Theoretic Analysis of Programs (Partial Report) - researchr publication

researchr

You are not signed in
Sign in
Sign up

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.

Abstract is missing.

runs on WebDSL