Mechanized relational verification of concurrent programs with continuations

Concurrent higher-order imperative programming languages with continuations are very flexible and allow for the implementation of sophisticated programming patterns. For instance, it is well known that continuations can be used to implement cooperative concurrency. Continuations can also simplify we...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages Jg. 3; H. ICFP; S. 1 - 28
Hauptverfasser:	Timany, Amin, Birkedal, Lars
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	01.08.2019
ISSN:	2475-1421, 2475-1421
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!