Inner loops in flowgraphs and code optimization

DOI10.1007/BF00288967zbMATH Open0467.68010OpenAlexW2043049049MaRDI QIDQ1155950FDOQ1155950

Authors: S. H. Smith 

Publication date: 1982

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

Full work available at URL: https://doi.org/10.1007/bf00288967

zbMATH Keywords

hierarchy of inner loops in a program

Mathematics Subject Classification ID

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

Cites Work

• An empirical study of FORTRAN programs

Uses Software

• FETE

This page was built for publication: Inner loops in flowgraphs and code optimization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1155950)