Data flow analysis of communicating processes - Extended abstract
Publication
, Journal Article
Reif, JH
Published in: Conference Record of the Annual ACM Symposium on Principles of Programming Languages
January 1, 1979
Data flow analysis is a technique essential to the compile-time optimization of computer programs, wherein facts relevant to program optimizations are discovered by the global propagation of facts obvious locally. This paper extends flow analysis techniques developed for sequential programs to the analysis of communicating, concurrent processes.
Duke Scholars
Published In
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
DOI
ISSN
0730-8566
Publication Date
January 1, 1979
Start / End Page
257 / 268
Citation
APA
Chicago
ICMJE
MLA
NLM
Reif, J. H. (1979). Data flow analysis of communicating processes - Extended abstract. Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 257–268. https://doi.org/10.1145/567752.567777
Reif, J. H. “Data flow analysis of communicating processes - Extended abstract.” Conference Record of the Annual ACM Symposium on Principles of Programming Languages, January 1, 1979, 257–68. https://doi.org/10.1145/567752.567777.
Reif JH. Data flow analysis of communicating processes - Extended abstract. Conference Record of the Annual ACM Symposium on Principles of Programming Languages. 1979 Jan 1;257–68.
Reif, J. H. “Data flow analysis of communicating processes - Extended abstract.” Conference Record of the Annual ACM Symposium on Principles of Programming Languages, Jan. 1979, pp. 257–68. Scopus, doi:10.1145/567752.567777.
Reif JH. Data flow analysis of communicating processes - Extended abstract. Conference Record of the Annual ACM Symposium on Principles of Programming Languages. 1979 Jan 1;257–268.
Published In
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
DOI
ISSN
0730-8566
Publication Date
January 1, 1979
Start / End Page
257 / 268