12 papers:
ICLP-2015-Nys #deduction #roadmap- Advances in Analyzing Coroutines by Abstract Conjunctive Partial Deduction (VN).
PEPM-2014-KerneisSH #continuation #named #performance #static analysis- QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines (GK, CS, SH), pp. 83–94.
LOPSTR-2014-SchreyeNN #compilation #deduction- Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction (DDS, VN, CJN), pp. 21–38.
MoDELS-2012-ShaverL- The Coroutine Model of Computation (CS, EAL), pp. 319–334.
- MoDELS-2012-ShaverL
- The Coroutine Model of Computation (CS, EAL), pp. 319–334.
ICALP-2004-Laird #calculus- A Calculus of Coroutines (JL), pp. 882–893.
- ICLP-1995-PodelskiS #constraints #logic programming #semantics #source code
- Operational Semantics of Constraint Logic Programs with Coroutining (AP, GS), pp. 449–463.
IWMM-1992-Mateu #implementation #performance- An Efficient Implementation for Coroutines (LM), pp. 230–247.
- NACLP-1989-Chan
- An Extension of Constructive Negation and its Application in Coroutining (DC), pp. 477–493.
LFP-1984-HaynesFW #continuation- Continuations and Coroutines (CTH, DPF, MW), pp. 293–298.
ICSE-1979-MartyV- Hierarchical Coroutines: A Mechanism for Improved Program Structure (RM, LV), pp. 274–285.
- ICALP-1977-Sajaniemi #safety
- The Safety of a Coroutine System (JS), pp. 440–452.
