A program data flow analysis procedure

DOI10.1145/360018.360025zbMath0317.68016OpenAlexW2162436812WikidataQ128924511 ScholiaQ128924511MaRDI QIDQ4079026

Frances Allen, John Cocke

Publication date: 1976

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/360018.360025

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items (8)

Algebraic program analysis ⋮ Tuning architecture via microprogramming ⋮ Properties of data flow frameworks: A unified model ⋮ Algorithm for formal verification of business process templates ⋮ Finding the depth of a flow graph ⋮ Least-cost partition algorithms ⋮ A portable lisp compiler ⋮ A region analysis algorithm for the live variables problem

This page was built for publication: A program data flow analysis procedure