Inner loops in flowgraphs and code optimization

DOI10.1007/BF00288967zbMath0467.68010MaRDI QIDQ1155950

S. H. Smith

Publication date: 1982

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

hierarchy of inner loops in a program

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

Uses Software

• FETE