Compositional relational reasoning via operational game semantics
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...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Language: | English |
| Published: |
IEEE
2021
|