|
 
|
[Cro16] A verified abstract machine for functional coroutines
Conférence Internationale avec comité de lecture : Proceedings of the Workshop on Continuations (WoC'15) - Satellite event of ETAPS 2015, June 2016, Vol. 212, pp.1-17, London, UK, (DOI: 10.4204/EPTCS.212.1)
motcle:
Résumé:
Functional coroutines are a restricted form of control mechanism, where each continuation comes with its local environment. This restriction was originally obtained by considering a constructive version of Parigot's classical natural deduction which is sound and complete for the Constant Domain logic. In this article, we present a reï¬nement of de Groote's abstract machine which is proved to be correct for functional coroutines. Therefore, this abstract machine also provides a direct computational interpretation of the Constant Domain logic.
BibTeX
| @inproceedings { | |||
| Cro16, | |||
| title | = | "{A verified abstract machine for functional coroutines}", | |
| author | = | " T. Crolard ", | |
| booktitle | = | "{Proceedings of the Workshop on Continuations (WoC'15) - Satellite event of ETAPS 2015}", | |
| year | = | 2016, | |
| edition | = | "EPTCS", | |
| month | = | "June", | |
| volume | = | 212, | |
| pages | = | "1-17", | |
| address | = | "London, UK", | |
| doi | = | "10.4204/EPTCS.212.1", | |
| } | |||
