文献

J-GLOBAL ID：201702285964738736   整理番号：17A1357499

全地上参照セルのための分子【Powered by NICT】

A monad for full ground reference cells

著者 (4件)： Kammar Ohad (University of Oxford Department of Computer Science, UK) ,  Levy Paul B. (University of Birmingham School of Computer Science, UK) ,  Moss Sean K. (University of Cambridge, UK) ,  Staton Sam (University of Oxford Department of Computer Science, UK)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： LICS  ページ： 1-12  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： functorカテゴリーに1分子を用いた潜在的に繰返しメモリセルの動的割当の表示的考慮を提示した。ヒープに隠蔽/カプセル化能力を付加するための分子を備えた異なる関手カテゴリーの対象として堆積物の収集を同定した。カプセル化分子状態分子変圧器を適用することにより効果マスキングを支持する全地上参照のための1分子を導いた。分子を評価するために,著者らは完全基底と値呼び出し計算のための表示的意味論を提示し,関連するコード変換を検証した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 堆積物 ,  *表示的意味論 ,  符号変換 ,  ヒープ ,  マスキング

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (4件)： 地上 ,  参照 ,  セル ,  分子