文献
J-GLOBAL ID:200902103341691759
整理番号:94A0439736
ポインタによる別名と副作用の効率的なフロー依存型手続き間計算
Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects.
著者 (3件):
CHOI J-D
(IBM Research Division, NY)
,
BURKE M
(IBM Research Division, NY)
,
CARINI P
(IBM Research Division, NY)
資料名:
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
(Conference Record of the Annual ACM Symposium on Principles of Programming Languages)
巻:
20th
ページ:
232-245
発行年:
1993年
JST資料番号:
D0069B
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)