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


Expand authors...
Publisher:
ACM
Publication date:
2011-01-01
URN:
uuid:f2d38299-0326-4633-b77e-6f5d3e7ee2ac
Local pid:
cs:4980
ISBN:
978-1-4503-0490-0

Terms of use


Metrics


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