Monoids for Rapid Data Flow Analysis

DOI10.1137/0209015zbMath0448.68007OpenAlexW2038202164MaRDI QIDQ3894948

Barry K. Rosen

Publication date: 1980

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0209015

zbMATH Keywords

data flow analysisstructured programminghigh-level languagesoptimizing compilersmonoid, semilattice

Mathematics Subject Classification ID

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

Related Items (3)

Iterative methods of program analysis ⋮ Bidirectional data flow analysis for type inferencing. ⋮ Properties of data flow frameworks: A unified model

This page was built for publication: Monoids for Rapid Data Flow Analysis