The method of attributes for data flow analysis. I: Exhaustive analysis

DOI10.1007/BF00264319zbMath0384.68011MaRDI QIDQ1249039

Mehdi Jazayeri, Wayne A. Babich

Publication date: 1978

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

Mathematics Subject Classification ID

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

Related Items

Circular attribute grammars with remote attribute references and their evaluators ⋮ A Flow Analysis Approach for Service-Oriented Architectures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The intrinsically exponential complexity of the circularity problem for attribute grammars
• Dave—a validation error detection and documentation system for fortran programs
• Program Improvement by Source-to-Source Transformation
• Data Flow Analysis in the Presence of Procedure Calls
• Data Flow Analysis for Procedural Languages
• High-level data flow analysis
• Semantics of context-free languages
• BLISS