Data flow analysis of communicating processes - Extended abstract


Journal Article

© 1979 ACM. 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.

Full Text

Duke Authors

Cited Authors

  • Reif, JH

Published Date

  • January 1, 1979

Published In

Start / End Page

  • 257 - 268

International Standard Serial Number (ISSN)

  • 0730-8566

Digital Object Identifier (DOI)

  • 10.1145/567752.567777

Citation Source

  • Scopus