The control structure facilities of ECL

Prenner, Charles J.

doi:10.1145/800006.807990

Search citation statements

Order By: Relevance

Paper Sections

Select...

Coroutines1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

1974

2016

Publication Types

Select...

Article3

Book1

Relationship

Self Cite0

Independent4

Authors

Journals

Cited by 4 publications

(1 citation statement)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Although the first occurrence of the same-fringe problem in the litterature seems indeed to be an illustration of a coroutine mechanism [47], researchers did not agree on whether coroutines were really required to solve this problem. In fact, several "iterative" solutions were then proposed for instance by Greussay [26], Anderson [1] and McCarthy [39].…”

Section: Coroutinesmentioning

confidence: 99%

A verified abstract machine for functional coroutines

Crolard¹

2016

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Functional coroutines are a restricted form of control mechanism, where each coroutine is represented with both a continuation and an 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 refinement of de Groote's abstract machine for functional coroutines and we prove its correctness. Therefore, this abstract machine also provides a direct computational interpretation of the Constant Domain logic.

show abstract

Section: Coroutinesmentioning

confidence: 99%