Iris from the Ground up: A modular Foundation for Higher-order Concurrent 
Separation Logic

Jung, Ralf; Krebbers, Robertt; Jourdan, Jacques-Henri; Bizjak, Alĕs; Birkedal, Lars; Dreyer, Derek

doi:10.1017/S0956796818000151

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

学術論文

Iris from the Ground up: A modular Foundation for Higher-order Concurrent Separation Logic

MPS-Authors

/persons/resource/persons144769

Jung, Ralf
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons204899

Jourdan, Jacques-Henri
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144520

Dreyer, Derek
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

There are no locators available

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

フルテキスト (公開)

iris-from-the-ground-up-a-modular-foundation-for-higher-order-concurrent-separation-logic.pdf
(出版社版), 803KB

付随資料 (公開)

There is no public supplementary material available

引用

Jung, R., Krebbers, R., Jourdan, J.-H., Bizjak, A., Birkedal, L., & Dreyer, D. (2018). Iris from the Ground up: A modular Foundation for Higher-order Concurrent Separation Logic. Journal of Functional Programming, 28:. doi:10.1017/S0956796818000151.

引用: https://hdl.handle.net/21.11116/0000-0003-3055-7

要旨

要旨はありません