Decidable entailment checking for concurrent separation logic with fractional permissions

The cover of this title could differ from library to library.

Read via the Internet

NDL Digital Collections

Decidable entailment checking for concurrent separation logic with fractional permissions

Persistent ID (NDL): info:ndljp/pid/13835514

Material type: 記事

Author: Yeonseok Leeほか

Publisher: 日本ソフトウェア科学会

Publication date: 2022-08-31

Material Format: Digital

Journal name: 日本ソフトウェア科学会大会講演論文集第39回

Publication Page: -

View All

Notes on use

Note (General)：: 出版日は会期初日を記載

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 記事
Title: Decidable entailment checking for concurrent separation logic with fractional permissions
Author/Editor: Yeonseok Lee
Koji Nakazawa
Publication, Distribution, etc.: 日本 : 日本ソフトウェア科学会
Publication Date: 2022-08-31
Publication Date (W3CDTF): 2022-08-31
Periodical title: 日本ソフトウェア科学会大会講演論文集
No. or year of volume/issue: 第39回
Volume: 第39回
Text Language Code: eng
Note (General): 出版日は会期初日を記載
Persistent ID (NDL): info:ndljp/pid/13835514
https://dl.ndl.go.jp/pid/13835514
Collection: 障害者向け資料
Collection (Materials For Handicapped People:1): テキストデータ
Collection (particular): 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 学術機関 > 学協会
https://dl.ndl.go.jp/collections/B00043
Acquisition Basis: インターネット資料収集保存事業（WARP）
Date Accepted (W3CDTF): 2024-11-25T16:57:31+09:00
Date Captured (W3CDTF): 2023-09-21
Format (IMT): application/pdf
Access Restrictions: インターネット公開
Availability of remote photoduplication service: 不可
Periodical Title (URI): https://warp.da.ndl.go.jp/info:ndljp/pid/12997929/jssst.or.jp/files/user/taikai/2022/proceedings.html
Periodical Title (Persistent ID (NDL)): info:ndljp/pid/13835513
https://dl.ndl.go.jp/pid/13835513
Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp