文献

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)

抄録/ポイント： ポインタ,参照引き数,再帰を含む言語で書かれたプログラムに対...

シソーラス用語： 言語設計 ,...
準シソーラス用語： 別名

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=94A0439736&from=J-GLOBAL&jstjournalNo=D0069B") }}

分類 (2件)： 計算理論  (JB02000A) ,  汎用プログラミング言語  (JD03051H)

タイトルに関連する用語 (7件)： ポインタ ,  別名 ,  副作用 ,  フロー ,  依存型 ,  手続き ,  計算