日本語
 
Help Privacy Policy ポリシー/免責事項
  詳細検索ブラウズ

アイテム詳細

登録内容を編集ファイル形式で保存
一時保存へ追加
 タグ情報を表示リリース履歴を表示詳細要約
  Verifying Read-copy-update in a Logic for Weak Memory

Tassarotti, J., Dreyer, D., & Vafeiadis, V. (2015). Verifying Read-copy-update in a Logic for Weak Memory. In D., Grove, & S., Blackburn (Eds.), PLDI'15 (pp. 110-120). New York, NY: ACM. doi:10.1145/2813885.2737992.

Item is

 

表示: 全項目 非表示: 全項目

基本情報

表示: 非表示:
アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0029-7111-4 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0029-7E09-5
資料種別: 会議論文

ファイル

表示: ファイル

関連URL

表示:

作成者

表示:
非表示:
 作成者:
Tassarotti, Joseph1, 著者           
Dreyer, Derek1, 著者           
Vafeiadis, Viktor2, 著者           
所属:
1Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society, ou_2105286              
2Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society, ou_2105293              

内容説明

表示:

資料詳細

表示:
非表示:
言語: eng - English
 日付: 20152015
 出版の状態: 出版
 ページ: -
 出版情報: -
 目次: -
 査読: -
 識別子（DOI, ISBNなど）: DOI: 10.1145/2813885.2737992
BibTex参照ID: TassarottiPLDI2015
 学位: -

関連イベント

表示:
非表示:
イベント名: 36th ACM SIGPLAN Conference on Programming Language Design and Implementation
開催地: Portland, OR, USA
開始日・終了日: 2015-06-13 - 2015-06-17

訴訟

表示:

Project information

表示:

出版物 1

表示:
非表示:
出版物名: PLDI'15
  副タイトル : Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation ; June 13–17, 2015, Portland, OR, USA
  省略形 : PLDI 2015
種別: 会議論文集
 著者・編者:
Grove, David1, 編集者
Blackburn, Steve1, 編集者
所属:
1 External Organizations, ou_persistent22            
出版社, 出版地: New York, NY : ACM
ページ: - 巻号: - 通巻号: - 開始・終了ページ: 110 - 120 識別子（ISBN, ISSN, DOIなど）: ISBN: 978-1-4503-3468-6