|
 
|
[Cro15] A verified abstract machine for functional coroutines
Conférences invitées : Workshop on Continuations (WoC'15) - Satellite event of ETAPS 2015, April 2015, pp.1-19, London, UK, (DOI: 10.7146/aul.4.4)
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 { | |||
| Cro15, | |||
| title | = | "{A verified abstract machine for functional coroutines}", | |
| author | = | " T. Crolard ", | |
| booktitle | = | "{Workshop on Continuations (WoC'15) - Satellite event of ETAPS 2015}", | |
| year | = | 2015, | |
| month | = | "April", | |
| pages | = | "1-19", | |
| address | = | "London, UK", | |
| doi | = | "10.7146/aul.4.4", | |
| } | |||
