BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
deduct (2)
effici (2)
model (2)
abstract (2)
partial (2)

Stem coroutin$ (all stems)

12 papers:

ICLPICLP-2015-Nys #deduction #roadmap
Advances in Analyzing Coroutines by Abstract Conjunctive Partial Deduction (VN).
PEPMPEPM-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.
LOPSTRLOPSTR-2014-SchreyeNN #compilation #deduction
Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction (DDS, VN, CJN), pp. 21–38.
The Coroutine Model of Computation (CS, EAL), pp. 319–334.
The Coroutine Model of Computation (CS, EAL), pp. 319–334.
ICALPICALP-2004-Laird #calculus
A Calculus of Coroutines (JL), pp. 882–893.
ICLPICLP-1995-PodelskiS #constraints #logic programming #semantics #source code
Operational Semantics of Constraint Logic Programs with Coroutining (AP, GS), pp. 449–463.
ISMMIWMM-1992-Mateu #implementation #performance
An Efficient Implementation for Coroutines (LM), pp. 230–247.
An Extension of Constructive Negation and its Application in Coroutining (DC), pp. 477–493.
LISPLFP-1984-HaynesFW #continuation
Continuations and Coroutines (CTH, DPF, MW), pp. 293–298.
Hierarchical Coroutines: A Mechanism for Improved Program Structure (RM, LV), pp. 274–285.
ICALPICALP-1977-Sajaniemi #safety
The Safety of a Coroutine System (JS), pp. 440–452.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.