Publication:

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

Date

2018
Proceedings Paper
Simple item page Full metadata Statistics
 
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.embargo9999-12-31
dc.date.issued2018
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/31084
dc.identifier.urlhttps://dl.acm.org/citation.cfm?doid=3243631.3236772
dc.source.beginpageArt. 77
dc.source.conferenceInternational Conference on Functional Programming (ICFP)
dc.source.conferencedate23/09/2018
dc.source.conferencelocationSt. Louis, MO USA
dc.title

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

dc.typeProceedings paper
dspace.entity.typePublication
Files

Original bundle

Name:
42532.pdf
Size:
836.12 KB
Format:
Adobe Portable Document Format
Download
Publication available in collections:
Conference contributions