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

DOI10.1007/BF00264320MaRDI QIDQ1249040zbMATH OpenOpenAlexFDO

Authors Wayne A. Babich, Mehdi Jazayeri

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)

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

Cited in

(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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1249040)