The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for coroutines with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1973-1978 (17) 1979-1985 (18) 1986-1994 (16) 1996-2006 (15) 2007-2014 (16) 2015-2020 (16) 2021-2023 (15) 2024 (2)
Publication types (Num. hits)
article(56) book(1) inproceedings(57) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 56 occurrences of 46 keywords

Results
Found 115 publication records. Showing 115 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
131Ana Lúcia de Moura, Roberto Ierusalimschy Revisiting coroutines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF generators, Continuations, multitasking
69Adrien Guillon, Deborah Loach YetiSim: a C++ simulation library with execution graphs instead of coroutines. Search on Bibsonomy SpringSim The full citation details ... 2008 DBLP  DOI  BibTeX  RDF execution graph, threading building blocks, UML, C++, coroutines
45Silvana Rossetto, Noemi de La Rocque Rodriguez A cooperative multitasking model for networked sensors. Search on Bibsonomy ICDCS Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF event-driven model, cooperative multitasking, Sensor networks, programming models, TinyOS, coroutines
45Steve Dekorte Io: a small programming language. Search on Bibsonomy OOPSLA Companion The full citation details ... 2005 DBLP  DOI  BibTeX  RDF prototype-based, object oriented, languages, actors, lazy evaluation, coroutines
45Ikuo Nakata, Masataka Sassa Programming with Streams in a Pascal-Like Language. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF loop statements, Pascal-like language, fixed type, composite function, component functions, iterative statements, parallel mode, coroutine mode, inline mode, programming, functional programming, streams, Lisp, reusability, combinations, coroutines, programming styles, dataflow languages
42Marcelo Cohen, Thiago Ponte, Silvana Rossetto, Noemi de La Rocque Rodriguez Using Coroutines for RPC in Sensor Networks. Search on Bibsonomy IPDPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42James Laird A Calculus of Coroutines. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Mirjana Ivanovic, Zoran Budimac Involving coroutines in interaction between functional and conventional language. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
36Xinyu Feng 0001, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni Modular verification of assembly code with stack-based control abstractions. Search on Bibsonomy PLDI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF assembly code verification, control abstractions, stack-based, modularity, proof-carrying code
36Donald E. Knuth, Frank Ruskey Efficient Coroutine Generation of Constrained Gray Sequences. Search on Bibsonomy Essays in Memory of Ole-Johan Dahl The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Peter A. Buhr, W. Y. Russell Mok Advanced Exception Handling Mechanisms. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF resumption, concurrent, object-oriented, robustness, Exception handling, interrupts, termination
36Gary Lindstrom Backtracking in a Generalized Control Setting. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
36Jorma Sajaniemi The Safety of a Coroutine System. Search on Bibsonomy ICALP The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
27Olin Shivers, Matthew Might Continuations and transducer composition. Search on Bibsonomy PLDI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF lambda, program analysis, continuations, fusion, language design, functional languages, stream processing, calculus, flow analysis, continuation-passing style (CPS), coroutines
27Peter Buneman, Robert E. Frankel, Rishiyur S. Nikhil An Implementation Technique for Database Query Languages. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1982 DBLP  DOI  BibTeX  RDF database interfaces, lazy evaluation, applicative programing, coroutines
24Qiqi Gu, Wei Ke 0001 Typing Requirement Model as Coroutines. Search on Bibsonomy IEEE Access The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
24Conor John Williams, James Elliott Libfork: portable continuation-stealing with stackless coroutines. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
24Qiqi Gu, Wei Ke 0001 Typing Composable Coroutines. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Jens Egholm Pedersen, Jörg Conradt AEStream: Accelerated event-based processing with coroutines. Search on Bibsonomy NICE The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Nikita Koval, Dan Alistarh, Roman Elizarov Fast and Scalable Channels in Kotlin Coroutines. Search on Bibsonomy PPoPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Mirai Ikebuchi, Andres Erbsen, Adam Chlipala Certifying derivation of state machines from coroutines. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Jens Egholm Pedersen, Jörg Conradt AEStream: Accelerated event-based processing with coroutines. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Nikita Koval, Dan Alistarh, Roman Elizarov Fast and Scalable Channels in Kotlin Coroutines. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Dorian Weber, Paula Wiesner, Joachim Fischer A closer look at process-based simulation with stackless coroutines. Search on Bibsonomy Inf. Softw. Technol. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Leonard von Merzljak, Philipp Fent, Thomas Neumann 0001, Jana Giceva What Are You Waiting For? Use Coroutines for Asynchronous I/O to Hide I/O Latencies and Maximize the Read Bandwidth! Search on Bibsonomy ADMS@VLDB The full citation details ... 2022 DBLP  BibTeX  RDF
24Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider Runtime Verification of Kotlin Coroutines. Search on Bibsonomy RV The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24D. Beronic, L. Modric, Branko Mihaljevic, Aleksander Radovan Comparison of Structured Concurrency Constructs in Java and Kotlin - Virtual Threads and Coroutines. Search on Bibsonomy MIPRO The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Bruce Belson, Bronson Philippa Speeding up Machine Learning Inference on Edge Devices by Improving Memory Access Patterns using Coroutines. Search on Bibsonomy CSE The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Bruce Belson, Wei Xiang 0001, Jason Holdsworth, Bronson Philippa C++20 Coroutines on Microcontrollers - What We Learned. Search on Bibsonomy IEEE Embed. Syst. Lett. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Nikita Koval, Dmitry Khalanskiy, Dan Alistarh A Formally-Verified Framework for Fair Synchronization in Kotlin Coroutines. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
24Roman Elizarov, Mikhail A. Belyaev, Marat Akhin, Ilmir Usmanov Kotlin coroutines: design and implementation. Search on Bibsonomy Onward! The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Ole Lehrmann Madsen Using Coroutines for Multi-core Preemptive Scheduling. Search on Bibsonomy PLOS@SOSP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Aamir Shafi, Jahanzeb Maqbool Hashmi, Hari Subramoni, Dhabaleswar K. Panda 0001 Blink: Towards Efficient RDMA-based Communication Coroutines for Parallel Python Applications. Search on Bibsonomy HiPC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Satoru Kawahara, Yukiyoshi Kameyama One-Shot Algebraic Effects as Coroutines. Search on Bibsonomy TFP The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Dorian Weber, Joachim Fischer Process-Based Simulation with Stackless Coroutines. Search on Bibsonomy SAM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Bruce Belson, Jason Holdsworth, Wei Xiang 0001, Bronson Philippa A Survey of Asynchronous Programming Using Coroutines in the Internet of Things and Embedded Systems. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Bruce Belson, Jason Holdsworth, Wei Xiang 0001, Bronson Philippa A Survey of Asynchronous Programming Using Coroutines in the Internet of Things and Embedded Systems. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
24Georgios Psaropoulos, Thomas Legler, Norman May, Anastasia Ailamaki Interleaving with coroutines: a systematic and practical approach to hide memory latency in index joins. Search on Bibsonomy VLDB J. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Hirochika Asai Deep Pipelining: Efficient Pipelining of Network Function Chains with Coroutines. Search on Bibsonomy NetSoft The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Aleksandar Prokopec, Fengyun Liu On the Soundness of Coroutines with Snapshots. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
24Dimitri Racordon Coroutines with Higher Order Functions. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
24Christopher Jonathan, Umar Farooq Minhas, James Hunter, Justin J. Levandoski, Gor V. Nishanov Exploiting Coroutines to Attack the "Killer Nanoseconds". (PDF / PS) Search on Bibsonomy Proc. VLDB Endow. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink Deadlock Detection for Actor-Based Coroutines. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Aleksandar Prokopec, Fengyun Liu Theory and Practice of Coroutines with Snapshots. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Georgios Psaropoulos, Thomas Legler, Norman May, Anastasia Ailamaki Interleaving with Coroutines: A Practical Approach for Robust Index Joins. (PDF / PS) Search on Bibsonomy Proc. VLDB Endow. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Vincent Nys, Danny De Schreye Abstract conjunctive partial deduction for the analysis and compilation of coroutines. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Tristan Crolard A verified abstract machine for functional coroutines. Search on Bibsonomy WoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Vincent Nys Advances in Analyzing Coroutines by Abstract Conjunctive Partial Deduction. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
24Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines. Search on Bibsonomy PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Danny De Schreye, Vincent Nys, Colin J. Nicholson Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction. Search on Bibsonomy LOPSTR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
24Zhen Li 0006, Eileen T. Kraemer Programming with Concurrency: Threads, Actors, and Coroutines. Search on Bibsonomy IPDPS Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Oleg Kiselyov, Chung-chieh Shan Monolingual Probabilistic Programming Using Generalized Coroutines Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
24Lukas Stadler, Thomas Würthinger, Christian Wimmer Efficient coroutines for the Java platform. Search on Bibsonomy PPPJ The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Konrad Anton, Peter Thiemann 0001 Towards Deriving Type Systems and Implementations for Coroutines. Search on Bibsonomy APLAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Konrad Anton, Peter Thiemann 0001 Typing Coroutines. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Oleg Kiselyov, Chung-chieh Shan Monolingual Probabilistic Programming Using Generalized Coroutines. Search on Bibsonomy UAI The full citation details ... 2009 DBLP  BibTeX  RDF
24Jack A. Laird A calculus of coroutines. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24György E. Révész Experimenting with tail-recursion and simulating coroutines. Search on Bibsonomy ACM SIGCSE Bull. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
24Norman D. Thomson APL and coroutines. Search on Bibsonomy ACM SIGAPL APL Quote Quad The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
24Luis Mateu An Efficient Implementation for Coroutines. Search on Bibsonomy IWMM The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
24Gérard Padiou Nested Coroutines for Exception Handling in Modula-2. Search on Bibsonomy Struct. Program. The full citation details ... 1990 DBLP  BibTeX  RDF
24Wolfgang Kreutzer, Malcolm Stairmand C-Flavours: A Scheme-Based Flavour System with Coroutines and its Application to the Design of Object-Oriented Simulation Software. Search on Bibsonomy Comput. Lang. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
24Lloyd Allison Direct Semantics and Exceptions Define Jumps and Coroutines. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
24Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand Obtaining Coroutines with Continuations. Search on Bibsonomy Comput. Lang. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
24I. A. Horton, Stephen J. Turner Using Coroutines in Pascal. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
24Theo de Ridder Coroutines for C Reconsidered. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
24Graham M. Birtwistle The coroutines of Hanoi. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
24Hanan Samet Bidirectional Coroutines. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
24B. Dwyer Should Cobol Support Coroutines. Search on Bibsonomy Aust. Comput. J. The full citation details ... 1985 DBLP  BibTeX  RDF
24Paul A. Bailes A Low-Cost Implementation of Coroutines for C. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
24A. J. Fischer Guarded and Unguarded Coroutines: an Implementation in BCPL. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
24Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand Continuations and Coroutines. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
24Pierre Cointe Ue implémentation des coroutines en Lisp, application à Smalltalk. Search on Bibsonomy Symposium on Programming The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
24Harley Flanders Coroutines in Pascal. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
24Lloyd Allison Stable Marriages by Coroutines. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
24J. R. W. Glauert Evaluating recursive relational queries modelled by networks of coroutines. Search on Bibsonomy 1983   RDF
24Gary Lindstrom, Mary Lou Soffa Referencing and Retention in Block-Structured Coroutines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
24Edmund M. Clarke Proving Correctness of Coroutines Without History Variables. Search on Bibsonomy Acta Informatica The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
24J. Kriz, H. Sandmayr Extension of Pascal by Coroutines and its Application to Quasi-parallel Programming and Simulation. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
24Chris D. Marlin Coroutines: A Programming Methodology, a Language Design and an Implementation Search on Bibsonomy 1980   DOI  RDF
24Ryszard Janicki Analysis of vectors of coroutines by means of components. Search on Bibsonomy FCT The full citation details ... 1979 DBLP  BibTeX  RDF
24Rudolf Marty, L. Vanek Hierarchical Coroutines: A Mechanism for Improved Program Structure. Search on Bibsonomy ICSE The full citation details ... 1979 DBLP  BibTeX  RDF
24Brian Lewis Further comments on "a view of coroutines". Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
24Emmanuel Skordalakis, George K. Papakonstantinou Coroutines in FORTRAN. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
24Tom Jacobsen Another view of coroutines. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
24Jean Bézivin, Jean Louis Nebut, Robert Rannou Another view of coroutines. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
24Edmund M. Clarke Proving the correctness of coroutines without history variables. Search on Bibsonomy ACM-SE The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
24Dick Grune A view of coroutines. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
24Gilles Kahn, David B. MacQueen Coroutines and Networks of Parallel Processes. Search on Bibsonomy IFIP Congress The full citation details ... 1977 DBLP  BibTeX  RDF
24Ryszard Janicki Vectors of Coroutines over Blikle Nets. Search on Bibsonomy FCT The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
24William Stallings An application of coroutines and backtracking in interactive systems. Search on Bibsonomy Int. J. Parallel Program. The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
24Ryszard Janicki Vectors of Coroutines. Search on Bibsonomy MFCS The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
24Bernd Krieg A Class of Recursive Coroutines. Search on Bibsonomy IFIP Congress The full citation details ... 1974 DBLP  BibTeX  RDF
24Maurice Clint Program Proving: Coroutines. Search on Bibsonomy Acta Informatica The full citation details ... 1973 DBLP  DOI  BibTeX  RDF
18Amine Anane, El Mostapha Aboulhamid, Julie Vachon, Yvon Savaria Modeling and simulation of complex heterogeneous systems. Search on Bibsonomy ISCAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Olaf Chitil, Frank Huch Monadic, Prompt Lazy Assertions in Haskell. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Luca Cardelli An Accidental Simula User. Search on Bibsonomy ECOOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Roberto Ierusalimschy, Luiz Henrique de Figueiredo, Waldemar Celes Filho The evolution of Lua. Search on Bibsonomy HOPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Peter A. Buhr, Roy Krischer Bound Exceptions in Object-Oriented Programming. Search on Bibsonomy Advanced Topics in Exception Handling Techniques The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 115 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license