The method of attributes for data flow analysis. II: Demand analysis

DOI10.1007/BF00264320zbMath0384.68012OpenAlexW2885877860MaRDI QIDQ1249040

Mehdi Jazayeri, Wayne A. Babich

Publication date: 1978

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

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items (3)

Efficient interprocedural data-flow analysis using treedepth and treewidth ⋮ Circular attribute grammars with remote attribute references and their evaluators ⋮ Interconvertibility of a class of set constraints and context-free-language reachability

Cites Work

• A Fast and Usually Linear Algorithm for Global Flow Analysis
• A Simple Algorithm for Global Data Flow Analysis Problems
• High-level data flow analysis
• Operating Systems: A statistical model for console behavior in multiuser computers

This page was built for publication: The method of attributes for data flow analysis. II: Demand analysis