Search results for "continuations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
102	Olivier Danvy	Formalizing Implementation Strategies for First-Class Continuations.	ESOP	2000	DBLP DOI BibTeX RDF
102	Andrew W. Appel	Intensional Equality ;=) for Continuations.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF
102	William D. Clinger, Anne Hartheimer, Eric Ost	Implementation Strategies for Continuations.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
90	Yukiyoshi Kameyama	A Type-Theoretic Study on Partial Continuations.	IFIP TCS	2000	DBLP DOI BibTeX RDF
90	Carl Bruggeman, Oscar Waddell, R. Kent Dybvig	Representing Control in the Presence of One-Shot Continuations.	PLDI	1996	DBLP DOI BibTeX RDF
86	Luc Moreau 0001, Christian Queinnec	Partial Continuations as the Difference of Continuations - A Duumvirate of Control Operators.	PLILP	1994	DBLP DOI BibTeX RDF
84	Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen	Continuations from generalized stack inspection.	ICFP	2005	DBLP DOI BibTeX RDF	A-normal form, scheme, continuations, web programming, continuation-passing style, stack inspection, defunctionalization
79	Chris Barker, Chung-chieh Shan	Types as Graphs: Continuations in Type Logical Grammar.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	type-logical grammar, resource sensitivity, polarity licensing, superiority, evaluation order, continuations, binding, quantification, staging, delimited continuations
78	James Laird	Exceptions, Continuations and Macro-expressiveness.	ESOP	2002	DBLP DOI BibTeX RDF
78	Robert Hieb, R. Kent Dybvig	Continuations and Concurrency.	PPoPP	1990	DBLP DOI BibTeX RDF	SCHEME
76	Hayo Thielecke	From control effects to typed continuation passing.	POPL	2003	DBLP DOI BibTeX RDF	control effects, polymorphism, continuations, type and effect systems
74	Gregory F. Johnson	GL-a denotational testbed with continuations and partial continuations as first-class objects.	PLDI	1987	DBLP DOI BibTeX RDF
70	Julia L. Lawall, Olivier Danvy	Separating Stages in the Continuation-Passing Style Transformation.	POPL	1993	DBLP DOI BibTeX RDF	SCHEME
67	Lukas Stadler, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck, John Rose	Lazy continuations for Java virtual machines.	PPPJ	2009	DBLP DOI BibTeX RDF	stack frame, Java, optimization, performance, virtual machine, continuation, activation
67	Christian Queinnec	The influence of browsers on evaluators or, continuations to program web servers.	ICFP	2000	DBLP DOI BibTeX RDF	WEB
67	Christopher T. Haynes, Daniel P. Friedman	Embedding Continuations in Procedural Objects.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF	LISP, SCHEME
61	Tiark Rompf, Ingo Maier, Martin Odersky	Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform.	ICFP	2009	DBLP DOI BibTeX RDF	control effects, selective CPS transform, program transformation, delimited continuations
61	Denis Jouvin	Continuations and Behavior Components Engineering in Multi-Agent Systems.	MATES	2006	DBLP DOI BibTeX RDF	conversational multi-agent systems, behavioral component, continuation-based automatons, Continuations, agent oriented software engineering
61	Christian Queinnec	Continuations and Web Servers.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	WWW, hypertext, scheme, continuations
61	Dennis Quan, David Huynh, David R. Karger, Robert C. Miller	User interface continuations.	UIST	2003	DBLP DOI BibTeX RDF	dialog boxes, continuations
59	Olivier Danvy	Many Happy Returns.	TLCA	2001	DBLP DOI BibTeX RDF
59	S. Kamal Abdali, David S. Wise	Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
55	Kenichi Asai, Arisa Kitani	Functional derivation of a virtual machine for delimited continuations.	PPDP	2010	DBLP DOI BibTeX RDF	cps transformation, functional derivation, virtual machine, delimited continuation, defunctionalization
55	Christian Queinnec	Inverting back the inversion of control or, continuations versus page-centric programming.	ACM SIGPLAN Notices	2003	DBLP DOI BibTeX RDF
55	Tomoharu Ugawa, Nobuhisa Minagawa, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa	Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations.	APLAS	2003	DBLP DOI BibTeX RDF
55	Julia L. Lawall, Harry G. Mairson	Sharing Continuations: Proofnets for Languages with Explicit Control.	ESOP	2000	DBLP DOI BibTeX RDF
55	Jon G. Riecke, Hayo Thielecke	Typed Exeptions and Continuations Cannot Macro-Express Each Other.	ICALP	1999	DBLP DOI BibTeX RDF
55	Luc Moreau 0001	Non-Speculative and Upward Invocation of Continuations in a Parallel Language.	TAPSOFT	1995	DBLP DOI BibTeX RDF
55	Andrzej Filinski	Linear Continuations.	POPL	1992	DBLP DOI BibTeX RDF
55	Luc Moreau 0001	An operational semantics for a parallel functional language with continuations.	PARLE	1992	DBLP DOI BibTeX RDF	metacontinuation, left expression, parallelism, Scheme, continuation, operational semantics, transparency
55	Richard Draves, Brian N. Bershad, Richard F. Rashid, Randall W. Dean	Using Continuations to Implement Thread Management and Communication in Operating Systems.	SOSP	1991	DBLP DOI BibTeX RDF	Mach
53	Ana Lúcia de Moura, Roberto Ierusalimschy	Revisiting coroutines.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	generators, Continuations, multitasking
53	Kristian Støvring, Søren B. Lassen	A complete, co-inductive syntactic theory of sequential control and state.	POPL	2007	DBLP DOI BibTeX RDF	mutable references, continuations, bisimulation
49	Eric Koskinen, Maurice Herlihy	Checkpoints and continuations instead of nested transactions.	SPAA	2008	DBLP DOI BibTeX RDF	parallel programming, concurrency, checkpoints, transactional memory, boosting, continuations
49	Timothy K. Shih, Nick C. Tang, Wei-Sung Yeh, Ta-Jen Chen, Wonjun Lee 0001	Video inpainting and implant via diversified temporal continuations.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	temporal continuations, video implant, object tracking, video inpainting, object removal
49	Timothy K. Shih, Nick C. Tang, Wei-Sung Yeh, Ta-Jen Chen	Video inpainting and implant via diversified temporal continuations (video demonstration).	ACM Multimedia	2006	DBLP DOI BibTeX RDF	temporal continuations, video implant, object tracking, video inpainting, object removal
49	Olin Shivers, Matthew Might	Continuations and transducer composition.	PLDI	2006	DBLP DOI BibTeX RDF	lambda, program analysis, continuations, fusion, language design, functional languages, stream processing, calculus, flow analysis, continuation-passing style (CPS), coroutines
47	Masahito Hasegawa	Semantics of Linear Continuation-Passing in Call-by-Name.	FLOPS	2004	DBLP DOI BibTeX RDF
47	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
47	Olivier Danvy, Andrzej Filinski	Abstracting Control.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
47	Daniel P. Friedman, Christopher T. Haynes	Constraining Control.	POPL	1985	DBLP DOI BibTeX RDF
43	Oleg Kiselyov, Chung-chieh Shan	Delimited Continuations in Operating Systems.	CONTEXT	2007	DBLP DOI BibTeX RDF
43	Zena M. Ariola, Hugo Herbelin, Amr Sabry	A type-theoretic foundation of continuations and prompts.	ICFP	2004	DBLP DOI BibTeX RDF	callcc, prompt, subcontinuation, continuation, monad, subtraction, shift, reset
43	Yukiyoshi Kameyama, Masahito Hasegawa	A sound and complete axiomatization of delimited continuations.	ICFP	2003	DBLP DOI BibTeX RDF	continuation, axiomatization, CPS-translation
43	Florin Sultan, Aniruddha Bohra, Liviu Iftode	Service Continuations: An Operating System Mechanism for Dynamic Migration of Internet Service Sessions.	SRDS	2003	DBLP DOI BibTeX RDF
43	Hayo Thielecke	On Exceptions Versus Continuations in the Presence of State.	ESOP	2000	DBLP DOI BibTeX RDF
43	Scott Burson	Continuations Without Copying.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF	SCHEME
43	Christian Queinnec	Locality, Causality and Continuations.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	SCHEME
43	Luc Moreau 0001	The PCKS-Machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations.	ESOP	1994	DBLP DOI BibTeX RDF
43	Xavier Leroy	Polymorphism by Name for References and Continuations.	POPL	1993	DBLP DOI BibTeX RDF	ML
43	Pierre Jouvelot, David K. Gifford	Reasoning about Continuations with Control Effects.	PLDI	1989	DBLP DOI BibTeX RDF
43	Morry Katz, Daniel Weise	Continuing Into the Future: On the Interaction of Futures and First-Class Continuations.	Workshop on Parallel Lisp	1989	DBLP DOI BibTeX RDF
43	Cliff B. Jones	Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations.	The Vienna Development Method: The Meta-Language	1978	DBLP DOI BibTeX RDF
41	Shriram Krishnamurthi, Peter Walton Hopkins, Jay A. McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen	Implementation and use of the PLT scheme Web server.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Performance, Interaction, Web, Applications, Scheme, Continuations, Conference management
41	Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry	Backtracking, interleaving, and terminating monad transformers: (functional pearl).	ICFP	2005	DBLP DOI BibTeX RDF	control delimiters, logic programming, Prolog, streams, Haskell, continuations
41	Paul Tarau, Verónica Dahl	Towards a Logic Programming Infrastructure for Internet Programming.	Artificial Intelligence Today	1999	DBLP DOI BibTeX RDF	Logic Programming and Internet technologies, first order continuations, Linda coordination, blackboard based logic programming, mobile computations, mobile code, metaprogramming, remote execution, controlled natural language, intelligent mobile agents
41	Christian Urban	Implementation of Proof Search in the Imperative Programming Language Pizza.	TABLEAUX	1998	DBLP DOI BibTeX RDF	Success Continuations, G4ip, Pizza
39	Hayo Thielecke	Command injection attacks, continuations, and the Lambek calculus.	WoC	2015	DBLP DOI BibTeX RDF
39	Neil Sculthorpe, Paolo Torrini, Peter D. Mosses	A Modular Structural Operational Semantics for Delimited Continuations.	WoC	2015	DBLP DOI BibTeX RDF
39	Ekaterina Lebedeva	Expressing discourse dynamics through continuations. (Expression de la dynamique du discours à l'aide de continuations).		2012	RDF
39	Dorai Sitaram, Matthias Felleisen	Modeling Continuations without Continuations.	POPL	1991	DBLP DOI BibTeX RDF	SCHEME
37	Noam Zeilberger	Polarity and the Logic of Delimited Continuations.	LICS	2010	DBLP DOI BibTeX RDF	programming, logic, continuations, proof theory, polarity
37	Jay A. McCarthy	Automatically RESTful web applications: marking modular serializable continuations.	ICFP	2009	DBLP DOI BibTeX RDF	web applications, continuations, stack inspection
37	Andrew Kennedy	Compiling with continuations, continued.	ICFP	2007	DBLP DOI BibTeX RDF	continuations, monads, optimizing compilation, continuation passing style, functional programming languages
37	Eneia Todoran, Nikolaos Papaspyrou	Continuations for parallel logic programming.	PPDP	2000	DBLP DOI BibTeX RDF	basic Andorra model, Haskell, continuations, monads, denotational semantics, parallel logic programming
35	Weihai Yu, Jie Yang	Continuation-passing enactment of distributed recoverable workflows.	SAC	2007	DBLP DOI BibTeX RDF	decentralized workflow enactment, just-in-time distribution, continuation, automatic recovery
35	Weihai Yu	Toward a Lightweight Process-Aware Middleware.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF	peer-to-peer, workflow, Web services composition, continuation
35	Andrzej Filinski	Representing Monads.	POPL	1994	DBLP DOI BibTeX RDF
35	Olivier Danvy	Memory allocation and higher-order functions.	PLDI	1987	DBLP DOI BibTeX RDF
31	Olivier Danvy, Chung-chieh Shan, Ian Zerny	J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations.	DSL	2009	DBLP DOI BibTeX RDF
31	Hugo Herbelin, Silvia Ghilezan	An approach to call-by-name delimited continuations.	POPL	2008	DBLP DOI BibTeX RDF	boehm separability, delimited control, observational completeness, classical logic
31	Ruy Ley-Wild, Matthew Fluet, Umut A. Acar	Compiling self-adjusting programs with continuations.	ICFP	2008	DBLP DOI BibTeX RDF	memoization, continuation-passing style, self-adjusting computation
31	Yukiyoshi Kameyama, Takuo Yonezawa	Typed Dynamic Control Operators for Delimited Continuations.	FLOPS	2008	DBLP DOI BibTeX RDF	Dynamic Control Operator, Type System, Polymorphism, Expressivity, Delimited Continuation, CPS Translation
31	Jérémy Buisson, Fabien Dagnat	Introspecting Continuations in Order to Update Active Code.	HotSWUp	2008	DBLP DOI BibTeX RDF	DSU, dynamic update of active code, introspection of execution states, typing, continuation, language construct, control operator
31	Oleg Kiselyov, Chung-chieh Shan	A Substructural Type System for Delimited Continuations.	TLCA	2007	DBLP DOI BibTeX RDF
31	Kenichi Asai, Yukiyoshi Kameyama	Polymorphic Delimited Continuations.	APLAS	2007	DBLP DOI BibTeX RDF	Predicative/Impredicative Polymorphism, Type System, Delimited Continuation, CPS Translation, Control Operator
31	Christopher Dutchyn	Specializing continuations a model for dynamic join points.	FOAL	2007	DBLP DOI BibTeX RDF
31	Yukiyoshi Kameyama	Axioms for Delimited Continuations in the CPS Hierarchy.	CSL	2004	DBLP DOI BibTeX RDF
31	Peter Thiemann 0001	Continuation-Based Partial Evaluation without Continuations.	SAS	2003	DBLP DOI BibTeX RDF	Functional programming, type systems, partial evaluation
31	Jonathan Sobel, Daniel P. Friedman	Recycling Continuations.	ICFP	1998	DBLP DOI BibTeX RDF	CSP
31	Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen	The Essence of Compiling with Continuations.	PLDI	1993	DBLP DOI BibTeX RDF
31	Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen	The essence of compiling with continuations (with retrospective)	Best of PLDI	1993	DBLP DOI BibTeX RDF
31	Robert Hieb, R. Kent Dybvig, Carl Bruggeman	Representing Control in the Presence of First-Class Continuations.	PLDI	1990	DBLP DOI BibTeX RDF	SCHEME
31	Matthias Felleisen, Mitchell Wand, Daniel P. Friedman, Bruce F. Duba	Abstract Continuations: A Mathematical Semantics for Handling Full Jumps.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
29	Chris Barker	Wild control operators.	POPL	2009	DBLP DOI BibTeX RDF	fcontrol, same, natural language, continuations, focus, shift, control operators, reset
29	Malgorzata Biernacka, Dariusz Biernacki	Context-based proofs of termination for typed delimited-control operators.	PPDP	2009	DBLP DOI BibTeX RDF	reducibility predicates, type system, continuation-passing style, delimited continuations, reduction semantics
29	David Herman	Functional pearl: the great escape or, how to jump the border without getting caught.	ICFP	2007	DBLP DOI BibTeX RDF	delimited control, continuations, dynamic binding
29	Maurizio Giordano, Claudia Di Napoli	A Continuation-Based Framework for Economy-Driven Grid Service Provision.	GECON	2007	DBLP DOI BibTeX RDF	Grid service provision, quality of service, continuations
29	Hayo Thielecke	Frame rules from answer types for code pointers.	POPL	2006	DBLP DOI BibTeX RDF	code pointers, polymorphism, continuations, Hoare logic, typed assembly language
29	Martin Gasbichler, Michael Sperber	Integrating User-Level Threads with Processes in Scsh.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF	Unix, Scheme, threads, continuations
29	Grégoire Hamon	A denotational semantics for stateflow.	EMSOFT	2005	DBLP DOI BibTeX RDF	compilation, continuations, denotational semantics, Stateflow
29	Kenichi Asai	Offline partial evaluation for shift and reset.	PEPM	2004	DBLP DOI BibTeX RDF	CPS transformation, binding-time analysis (BTA), offline partial evaluation, continuation-passing style (CPS), logical relations, delimited continuations
29	Olin Shivers, David Fisher	Multi-return function call.	ICFP	2004	DBLP DOI BibTeX RDF	compilers, programming languages, functional programming, continuations, lambda calculus, control structures, procedure call
29	Martin Gasbichler, Michael Sperber	Final shift for call/cc: : direct implementation of shift and reset.	ICFP	2002	DBLP DOI BibTeX RDF	implementation, scheme, continuations
29	Yohji Akama	Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic.	CSL	2001	DBLP DOI BibTeX RDF	partial combinatory algebra, limiting recursive functions, realizability interpretation, infinitary lambda-calculi, In the interpretation, ?-variables(=continuations) are interpreted as streams of -terms, calculus, discontinuity
29	Satish Chandra 0001, Brad Richards, James R. Larus	Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	distributed systems, verification, Domain-specific languages, continuations, cache coherence
29	Philippe Audebaud, Elena Zucca	Deriving Proof Rules from Continuation Semantics.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Hoare semantics, Continuations, Labels, Exceptions
29	Henry Cejtin, Suresh Jagannathan, Richard Kelsey	Higher-Order Distributed Objects.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	concurrency, message-passing, SCHEME, continuations, higher-order languages
29	M. Esen Tuna, Kamlesh Rath, Steven D. Johnson	Specification and synthesis of bounded indirection.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	bounded indirection, complex control structures, dynamic connections, control state indirection, value indirection, net indirection, behavior tables, data path descriptions, DMA controller, formal specification, high level synthesis, finite state machines, interrupts, interrupts, continuations, hardware description languages, hardware description languages, pointers, system specification, data flow computing, control system CAD
23	Brian Chin, Todd D. Millstein	An Extensible State Machine Pattern for Interactive Applications.	ECOOP	2008	DBLP DOI BibTeX RDF