Step-indexed kripke models over recursive worlds

Over the last decade, there has been extensive research on modelling challenging features in programming languages and program logics, such as higher-order store and storable resource invariants. A recent line of work has identified a common solution to some of these challenges: Kripke models over w...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	SIGPLAN notices 2011-01, Vol.46 (1), p.119-132
Hauptverfasser:	Birkedal, Lars, Reus, Bernhard, Schwinghammer, Jan, Støvring, Kristian, Thamsborg, Jacob, Yang, Hongseok
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!