Conference item icon

Conference item

Step−Indexed Kripke Models over Recursive Worlds

Abstract:

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 worlds that are recursively defined in a category of metric spaces. In this paper, we broaden the scope of this technique from the original domain-theoretic setting to an elementary, operational one...

Expand abstract

Actions


Access Document


Files:

Authors


Publisher:
ACM
Host title:
Proceedings of the 38th ACM Symposium on Principles of Programming Languages
Publication date:
2011-01-01
ISBN:
9781450304900
UUID:
uuid:f2d38299-0326-4633-b77e-6f5d3e7ee2ac
Local pid:
cs:4980
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP