SteelCore: an extensible concurrent separation logic for effectful dependently typed programs

Much recent research has been devoted to modeling effects within type theory. Building on this work, we observe that effectful type theories can provide a foundation on which to build semantics for more complex programming constructs and program logics, extending the reasoning principles that apply...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages Jg. 4; H. ICFP; S. 1 - 30
Hauptverfasser:	Swamy, Nikhil, Rastogi, Aseem, Fromherz, Aymeric, Merigoux, Denis, Ahman, Danel, Martínez, Guido
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	ACM 02.08.2020
Schlagworte:	Computer Science Programming Languages Program Proofs Concurrency Separation Logic
ISSN:	2475-1421, 2475-1421
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!