Publication
POPL 1977
Conference paper

Applications of high level control flow

View publication

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.

Date

Publication

POPL 1977

Authors

Share