Search results for "Continuations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Chris Barker, Chung-chieh Shan	Types as Graphs: Continuations in Type Logical Grammar.	Journal of Logic, Language and Information	2006	DBLP DOI BibTeX RDF	type-logical grammar, resource sensitivity, polarity licensing, superiority, evaluation order, continuations, binding, quantification, staging, delimited continuations
3	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
3	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
3	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
3	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
3	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
3	Timothy K. Shih, Nick C. Tang, Wei-Sung Yeh, Ta-Jen Chen, Wonjun Lee	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
3	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
3	Christian Queinnec	Continuations and Web Servers.	Higher-Order and Symbolic Computation	2004	DBLP DOI BibTeX RDF	WWW, hypertext, scheme, continuations
3	Dennis Quan, David Huynh, David R. Karger, Robert C. Miller	User interface continuations.	UIST	2003	DBLP DOI BibTeX RDF	dialog boxes, continuations
2	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
2	Noam Zeilberger	Polarity and the Logic of Delimited Continuations.	LICS	2010	DBLP DOI BibTeX RDF	programming, logic, continuations, proof theory, polarity
2	Jay A. McCarthy	Automatically RESTful web applications: marking modular serializable continuations.	ICFP	2009	DBLP DOI BibTeX RDF	web applications, continuations, stack inspection
2	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
2	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
2	Chris Barker	Wild control operators.	POPL	2009	DBLP DOI BibTeX RDF	fcontrol, same, natural language, continuations, focus, shift, control operators, reset
2	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
2	Ana Lúcia de Moura, Roberto Ierusalimschy	Revisiting coroutines.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	generators, Continuations, multitasking
2	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
2	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
2	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
2	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
2	Oleg Kiselyov, Chung-chieh Shan	A Substructural Type System for Delimited Continuations.	TLCA	2007	DBLP DOI BibTeX RDF
2	Oleg Kiselyov, Chung-chieh Shan	Delimited Continuations in Operating Systems.	CONTEXT	2007	DBLP DOI BibTeX RDF
2	Christopher Dutchyn	Specializing continuations a model for dynamic join points.	FOAL	2007	DBLP DOI BibTeX RDF
2	Andrew Kennedy	Compiling with continuations, continued.	ICFP	2007	DBLP DOI BibTeX RDF	continuations, monads, optimizing compilation, continuation passing style, functional programming languages
2	Kenichi Asai, Yukiyoshi Kameyama	Polymorphic Delimited Continuations.	APLAS	2007	DBLP DOI BibTeX RDF	Predicative/Impredicative Polymorphism, Type System, Delimited Continuation, CPS Translation, Control Operator
2	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
2	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
2	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
2	Shriram Krishnamurthi, Peter Walton Hopkins, Jay A. McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen	Implementation and use of the PLT scheme Web server.	Higher-Order and Symbolic Computation	2007	DBLP DOI BibTeX RDF	Performance, Interaction, Web, Applications, Scheme, Continuations, Conference management
2	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
2	Grégoire Hamon	A denotational semantics for stateflow.	EMSOFT	2005	DBLP DOI BibTeX RDF	compilation, continuations, denotational semantics, Stateflow
2	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
2	Martin Gasbichler, Michael Sperber	Integrating User-Level Threads with Processes in Scsh.	Higher-Order and Symbolic Computation	2005	DBLP DOI BibTeX RDF	Unix, Scheme, threads, continuations
2	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
2	Yukiyoshi Kameyama	Axioms for Delimited Continuations in the CPS Hierarchy.	CSL	2004	DBLP DOI BibTeX RDF
2	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
2	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
2	Christian Queinnec	Inverting back the inversion of control or, continuations versus page-centric programming.	SIGPLAN Notices	2003	DBLP DOI BibTeX RDF
2	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
2	Yukiyoshi Kameyama, Masahito Hasegawa	A sound and complete axiomatization of delimited continuations.	ICFP	2003	DBLP DOI BibTeX RDF	continuation, axiomatization, CPS-translation
2	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
2	Peter Thiemann	Continuation-Based Partial Evaluation without Continuations.	SAS	2003	DBLP DOI BibTeX RDF	Functional programming, type systems, partial evaluation
2	Hayo Thielecke	From control effects to typed continuation passing.	POPL	2003	DBLP DOI BibTeX RDF	control effects, polymorphism, continuations, type and effect systems
2	James Laird	Exceptions, Continuations and Macro-expressiveness.	ESOP	2002	DBLP DOI BibTeX RDF
2	Martin Gasbichler, Michael Sperber	Final shift for call/cc: : direct implementation of shift and reset.	ICFP	2002	DBLP DOI BibTeX RDF	implementation, scheme, continuations
2	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
2	Yukiyoshi Kameyama	A Type-Theoretic Study on Partial Continuations.	IFIP TCS	2000	DBLP DOI BibTeX RDF
2	Christian Queinnec	The influence of browsers on evaluators or, continuations to program web servers.	ICFP	2000	DBLP DOI BibTeX RDF	WEB
2	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
2	Hayo Thielecke	On Exceptions Versus Continuations in the Presence of State.	ESOP	2000	DBLP DOI BibTeX RDF
2	Julia L. Lawall, Harry G. Mairson	Sharing Continuations: Proofnets for Languages with Explicit Control.	ESOP	2000	DBLP DOI BibTeX RDF
2	Olivier Danvy	Formalizing Implementation Strategies for First-Class Continuations.	ESOP	2000	DBLP DOI BibTeX RDF
2	Jon G. Riecke, Hayo Thielecke	Typed Exeptions and Continuations Cannot Macro-Express Each Other.	ICALP	1999	DBLP DOI BibTeX RDF
2	Satish Chandra, 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
2	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
2	Philippe Audebaud, Elena Zucca	Deriving Proof Rules from Continuation Semantics.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	Hoare semantics, Continuations, Labels, Exceptions
2	Jonathan Sobel, Daniel P. Friedman	Recycling Continuations.	ICFP	1998	DBLP DOI BibTeX RDF	CSP
2	Christian Urban	Implementation of Proof Search in the Imperative Programming Language Pizza.	TABLEAUX	1998	DBLP DOI BibTeX RDF	Success Continuations, G4ip, Pizza
2	Andrew W. Appel	Intensional Equality ;=) for Continuations.	SIGPLAN Notices	1996	DBLP DOI BibTeX RDF
2	Carl Bruggeman, Oscar Waddell, R. Kent Dybvig	Representing Control in the Presence of One-Shot Continuations.	PLDI	1996	DBLP DOI BibTeX RDF
2	Luc Moreau	Non-Speculative and Upward Invocation of Continuations in a Parallel Language.	TAPSOFT	1995	DBLP DOI BibTeX RDF
2	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
2	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
2	Scott Burson	Continuations Without Copying.	SIGPLAN Notices	1994	DBLP DOI BibTeX RDF	SCHEME
2	Christian Queinnec	Locality, Causality and Continuations.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	SCHEME
2	Luc Moreau, Christian Queinnec	Partial Continuations as the Difference of Continuations - A Duumvirate of Control Operators.	PLILP	1994	DBLP DOI BibTeX RDF
2	Luc Moreau	The PCKS-Machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations.	ESOP	1994	DBLP DOI BibTeX RDF
2	Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen	The Essence of Compiling with Continuations.	PLDI	1993	DBLP DOI BibTeX RDF
2	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
2	Xavier Leroy	Polymorphism by Name for References and Continuations.	POPL	1993	DBLP DOI BibTeX RDF	ML
2	Luc Moreau	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
2	Andrzej Filinski	Linear Continuations.	POPL	1992	DBLP DOI BibTeX RDF
2	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
2	Robert Hieb, R. Kent Dybvig, Carl Bruggeman	Representing Control in the Presence of First-Class Continuations.	PLDI	1990	DBLP DOI BibTeX RDF	SCHEME
2	Robert Hieb, R. Kent Dybvig	Continuations and Concurrency.	PPOPP	1990	DBLP DOI BibTeX RDF	SCHEME
2	Pierre Jouvelot, David K. Gifford	Reasoning about Continuations with Control Effects.	PLDI	1989	DBLP DOI BibTeX RDF
2	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
2	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
2	William D. Clinger, Anne Hartheimer, Eric Ost	Implementation Strategies for Continuations.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
2	Christopher T. Haynes, Daniel P. Friedman	Embedding Continuations in Procedural Objects.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF	LISP, SCHEME
2	Gregory F. Johnson	GL-a denotational testbed with continuations and partial continuations as first-class objects.	PLDI	1987	DBLP DOI BibTeX RDF
2	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
1	Anca Dinu	Versatility of 'Continuations' in Discourse Semantics.	Fundam. Inform.	2011	DBLP DOI BibTeX RDF
1	Dimitrios Vardoulakis, Olin Shivers	Ordering multiple continuations on the stack.	PEPM	2011	DBLP DOI BibTeX RDF
1	Marek Materzok, Dariusz Biernacki	Subtyping delimited continuations.	ICFP	2011	DBLP DOI BibTeX RDF
1	Nathan Lael Joseph, Khelifa Mazouz	Testing for Overreaction and Return Continuations in Stock Price Index Returns.	IJSDS	2010	DBLP BibTeX RDF
1	Gabriel Kerneis, Juliusz Chroboczek	Continuation-Passing C, compiling threads to events through continuations	CoRR	2010	DBLP BibTeX RDF
1	Jay A. McCarthy	The two-state solution: native and serializable continuations accord.	OOPSLA	2010	DBLP DOI BibTeX RDF
1	Alexis Saurin	A Hierarchy for Delimited Continuations in Call-by-Name.	FOSSACS	2010	DBLP DOI BibTeX RDF
1	Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson	Linearly-Used Continuations in the Enriched Effect Calculus.	FOSSACS	2010	DBLP DOI BibTeX RDF
1	Laurent D. Michel	Parallelizing constraint programs.	DAMP	2010	DBLP DOI BibTeX RDF	constraint-based local search, parallel programming, constraint programming
1	A. Giraldo, J. M. R. Sanjurjo	Singular Continuations of Attractors.	SIAM J. Applied Dynamical Systems	2009	DBLP DOI BibTeX RDF
1	Michael Norrish	Rewriting Conversions Implemented with Continuations.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF
1	Deepak Hegde, David C. Mowery, Stuart J. H. Graham	Pioneering Inventors or Thicket Builders: Which U.S. Firms Use Continuations in Patenting?	Management Science	2009	DBLP DOI BibTeX RDF
1	Kenichi Asai	On typing delimited continuations: three new solutions to the printf problem.	Higher-Order and Symbolic Computation	2009	DBLP DOI BibTeX RDF
1	Zena M. Ariola, Hugo Herbelin, Amr Sabry	A type-theoretic foundation of delimited continuations.	Higher-Order and Symbolic Computation	2009	DBLP DOI BibTeX RDF
1	Daisuke Bekki, Kenichi Asai	Representing Covert Movements by Delimited Continuations.	JSAI-isAI Workshops	2009	DBLP DOI BibTeX RDF
1	Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan	Purely functional lazy non-deterministic programming.	ICFP	2009	DBLP DOI BibTeX RDF	call-time choice, continuations, monads, side effects