Applications of high level control flow
- 1 January 1977
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
Control flow relations in a high level language program can be represented by a hierarchy of small graphs that combines nesting relations among statements in an ALGOL-like syntax with relevant perturbations caused by goto or leave statements. Applications of the new style of representation include denotational semantics, data flow analysis, source level compiler diagnostics, and program proving.Keywords
This publication has 0 references indexed in Scilit: