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

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Zeitschriftenartikel

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

MPG-Autoren

/persons/resource/persons144775

Kaiser, Jan-Oliver
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;

Externe Ressourcen

Es sind keine externen Ressourcen hinterlegt

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

3236772.pdf
(Verlagsversion), 389KB

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

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.

Zitierlink: https://hdl.handle.net/21.11116/0000-0003-2E8B-E

Zusammenfassung

Es ist keine Zusammenfassung verfügbar