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

DOI10.1007/BF00264319MaRDI QIDQ1249039zbMATH OpenFDO

Authors Wayne A. Babich, Mehdi Jazayeri

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)

Cites work

• scientific article; zbMATH DE number 3463168 (Why is no real title available?)
• scientific article; zbMATH DE number 3497311 (Why is no real title available?)
• scientific article; zbMATH DE number 3551830 (Why is no real title available?)
• BLISS
• Data Flow Analysis for Procedural Languages
• Data Flow Analysis in the Presence of Procedure Calls
• Dave—a validation error detection and documentation system for fortran programs
• High-level data flow analysis
• Program Improvement by Source-to-Source Transformation
• Semantics of context-free languages
• The intrinsically exponential complexity of the circularity problem for attribute grammars

Cited in

(2)

• Circular attribute grammars with remote attribute references and their evaluators
• A flow analysis approach for service-oriented architectures

This page was built for publication: The method of attributes for data flow analysis. I: Exhaustive analysis

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