A Modular Structural Operational Semantics for Delimited Continuations
It has been an open question as to whether the Modular Structural Operational Semantics framework can express the dynamic semantics of call/cc. This paper shows that it can, and furthermore, demonstrates that it can express the more general delimited control operators control and shift.
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2016-06-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1606.06381v1 |
| _version_ | 1828515912481767424 |
|---|---|
| author | Neil Sculthorpe Paolo Torrini Peter D. Mosses |
| author_facet | Neil Sculthorpe Paolo Torrini Peter D. Mosses |
| author_sort | Neil Sculthorpe |
| collection | DOAJ |
| description | It has been an open question as to whether the Modular Structural Operational Semantics framework can express the dynamic semantics of call/cc. This paper shows that it can, and furthermore, demonstrates that it can express the more general delimited control operators control and shift. |
| first_indexed | 2024-12-11T18:19:48Z |
| format | Article |
| id | doaj.art-4077e8c159f24996b306172a10900f70 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-11T18:19:48Z |
| publishDate | 2016-06-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-4077e8c159f24996b306172a10900f702022-12-22T00:55:18ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802016-06-01212Proc. WoC 2015638010.4204/EPTCS.212.5:2A Modular Structural Operational Semantics for Delimited ContinuationsNeil SculthorpePaolo TorriniPeter D. MossesIt has been an open question as to whether the Modular Structural Operational Semantics framework can express the dynamic semantics of call/cc. This paper shows that it can, and furthermore, demonstrates that it can express the more general delimited control operators control and shift.http://arxiv.org/pdf/1606.06381v1 |
| spellingShingle | Neil Sculthorpe Paolo Torrini Peter D. Mosses A Modular Structural Operational Semantics for Delimited Continuations Electronic Proceedings in Theoretical Computer Science |
| title | A Modular Structural Operational Semantics for Delimited Continuations |
| title_full | A Modular Structural Operational Semantics for Delimited Continuations |
| title_fullStr | A Modular Structural Operational Semantics for Delimited Continuations |
| title_full_unstemmed | A Modular Structural Operational Semantics for Delimited Continuations |
| title_short | A Modular Structural Operational Semantics for Delimited Continuations |
| title_sort | modular structural operational semantics for delimited continuations |
| url | http://arxiv.org/pdf/1606.06381v1 |
| work_keys_str_mv | AT neilsculthorpe amodularstructuraloperationalsemanticsfordelimitedcontinuations AT paolotorrini amodularstructuraloperationalsemanticsfordelimitedcontinuations AT peterdmosses amodularstructuraloperationalsemanticsfordelimitedcontinuations AT neilsculthorpe modularstructuraloperationalsemanticsfordelimitedcontinuations AT paolotorrini modularstructuraloperationalsemanticsfordelimitedcontinuations AT peterdmosses modularstructuraloperationalsemanticsfordelimitedcontinuations |