MoSeL: A General, Extensible Modal Framework for Interactive Proofs in 
Separation Logic

Krebbers, Robbert; Jourdan, Jacques-Henri; Jung, Ralf; Tassarotti, Joseph; Kaiser, Jan-Oliver; Timany, Amin; Charguéraud, Arthur; Dreyer, Derek

doi:10.1145/3236772

Local TagsRelease HistoryDetailsSummary

MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic

Krebbers, R., Jourdan, J.-H., Jung, R., Tassarotti, J., Kaiser, J.-O., Timany, A., et al. (2018). MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic. Proceedings of the ACM on Programming Languages, 2(ICFP): 77. doi:10.1145/3236772.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0003-2E8B-E Version Permalink: https://hdl.handle.net/21.11116/0000-0008-E7CE-C

Genre: Journal Article

Files

show Files

hide Files

:

3236772.pdf (Publisher version), 389KB

View Save

File Permalink:
https://hdl.handle.net/21.11116/0000-0008-E6A4-B

Name:
3236772.pdf

Description:
-

OA-Status:

Visibility:
Public

MIME-Type / Checksum:
application/pdf / [MD5]

Technical Metadata:

View

Copyright Date:
-

Copyright Info:
This work is licensed under a Creative Commons Attribution 4.0 International License. © 2018 Copyright held by the owner/author(s). 2475-1421/2018/9-ART77 https://doi.org/10.1145/3236772

License:
-

Locators

show

Creators

show

hide

Creators:
Krebbers, Robbert¹, Author
Jourdan, Jacques-Henri¹, Author
Jung, Ralf¹, Author
Tassarotti, Joseph¹, Author
Kaiser, Jan-Oliver², Author
Timany, Amin¹, Author
Charguéraud, Arthur¹, Author
Dreyer, Derek², Author

Affiliations:
1External Organizations, ou_persistent22
2Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society, ou_2105286

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2018Date issued: 2018

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Krebbers_ICFP2018
DOI: 10.1145/3236772

Degree: -

Event

show

Legal Case

show

Project information

show hide

Project name : RustBelt

Grant ID : 683289

Funding program : Horizon 2020 (H2020)

Funding organization : European Commission (EC)

Source 1

show

hide

Title: Proceedings of the ACM on Programming Languages

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: New York, NY : ACM

Pages: 30 p. Volume / Issue: 2 (ICFP) Sequence Number: 77 Start / End Page: - Identifier: ISSN: 2475-1421