Publications [#237072] of John H. Reif

Journal articles or Book chapters PUBLISHED

1. Reif, JH, Data flow analysis of communicating processes - Extended abstract, Conference Record of the Annual ACM Symposium on Principles of Programming Languages (January, 1979), pp. 257-268, ACM Press [pdf], [doi]
   (last updated on 2026/01/14)

   Abstract:
   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.