Conference item icon

Conference item

Compositional relational reasoning via operational game semantics

Abstract:

We show how to use operational game semantics as a guide to develop relational techniques for establishing contextual equivalences with respect to contexts drawn from a hierarchy of four call-by-value higher-order languages: with either general or ground-type references and with either call/cc or no control operator. In game semantics, differences between the contexts can be captured by the absence or presence of the O-visibility and O-bracketing conditions.The proposed technique, which we ca...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Publisher:
IEEE
Host title:
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Publication date:
2021-07-07
Acceptance date:
2021-04-01
Event title:
36th ACM/IEEE Annual Symposium on Logic in Computer Science (LICS)
Event location:
Online (Rome, Italy)
Event website:
http://easyconferences.eu/lics2021/
Event start date:
2021-06-29
Event end date:
2021-07-02
DOI:
EISBN:
978-1-6654-4895-6
ISBN:
978-1-6654-4896-3
Language:
English
Keywords:
Pubs id:
1174022
Local pid:
pubs:1174022
Deposit date:
2021-05-01

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