Relaxed separation logic

• 資料種別: 記事
• タイトル: Relaxed separation logic
• 著者標目: Viktor Vafeiadis; Chinmay Narayan
• 出版年月日等: 2013-10-29
• 出版年（W3CDTF）: 2013-10-29
• 並列タイトル等: a program logic for C11 concurrency
• タイトル（掲載誌）: Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
• 掲載ページ: 867-884
• 掲載年月日（W3CDTF）: 2013-10-29
• 出版事項（掲載誌）: ACM
• 対象利用者: 一般
• DOI: 10.1145/2509136.2509532
• 作成日（W3CDTF）: 2013-10-23
• 関連情報（URI）: https://dl.acm.org/doi/pdf/10.1145/2509136.2509532
• 参照: A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models; https://cir.nii.ac.jp/crid/1360567180541708544; Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models; https://cir.nii.ac.jp/crid/1360848655499755008; Model checking copy phases of concurrent copying garbage collection with various memory models; https://cir.nii.ac.jp/crid/1360848661210782848; Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models; https://cir.nii.ac.jp/crid/1361137046414861184; Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations; https://cir.nii.ac.jp/crid/1390001205296048384
• 連携機関・データベース: 国立情報学研究所 : CiNii Research; https://cir.nii.ac.jp/
• 提供元機関・データベース: Crossref; https://www.crossref.org