文献
J-GLOBAL ID:201002043185134885
整理番号:80A0133192
コミュニケーティング・プロセスのデータ・フロー・アナリシス
Data flow analysis of communicating processes - extended abstract.
著者 (1件):
REIF J H
(Univ. Rochester, New York)
資料名:
Conf Rec ACM Symp Princ Program Lang (Assoc Comput Mach)
(Conference Record of the Annual ACM Symposium on Principles of Programming Languages)
巻:
6th
ページ:
257-268
発行年:
1979年
JST資料番号:
D0069B
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)