Show simple item record

MoSeL: A general, extensible modal framework for interactive proofs in separation logic

dc.contributor.authorKrebbers, Robert
dc.contributor.authorJourdan, Jacques-Henri
dc.contributor.authorJung, Ralf
dc.contributor.authorTassarotti, Joseph
dc.contributor.authorKaiser, Jan-Oliver
dc.contributor.authorTimany, Amin
dc.contributor.authorChargueraud, Arthur
dc.contributor.authorDreyer, Derek
dc.date.accessioned2021-10-25T21:15:31Z
dc.date.available2021-10-25T21:15:31Z
dc.date.issued2018
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/31084
dc.sourceIIOimport
dc.titleMoSeL: A general, extensible modal framework for interactive proofs in separation logic
dc.typeProceedings paper
dc.date.embargo9999-12-31
dc.source.peerreviewyes
dc.source.beginpageArt. 77
dc.source.conferenceInternational Conference on Functional Programming (ICFP)
dc.source.conferencedate23/09/2018
dc.source.conferencelocationSt. Louis, MO USA
dc.identifier.urlhttps://dl.acm.org/citation.cfm?doid=3243631.3236772
imec.availabilityPublished - open access
imec.internalnotesPACMPL Proceedings of the ACM on Programming Languages


Files in this item

Thumbnail
Name:
42532.pdf
Size:
836.1Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record