The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1967-1978 (15) 1979-1984 (16) 1985-1988 (23) 1989-1990 (36) 1991-1992 (38) 1993 (26) 1994 (32) 1995-1996 (32) 1997 (19) 1998 (22) 1999 (37) 2000 (41) 2001 (39) 2002 (36) 2003 (64) 2004 (55) 2005 (62) 2006 (68) 2007 (96) 2008 (97) 2009 (65) 2010 (34) 2011 (42) 2012 (42) 2013 (44) 2014 (39) 2015 (45) 2016 (37) 2017 (37) 2018 (66) 2019 (44) 2020 (58) 2021 (59) 2022 (54) 2023 (48) 2024 (11)
Publication types (Num. hits)
article(774) book(2) data(2) incollection(3) inproceedings(788) phdthesis(10)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 771 occurrences of 533 keywords

Results
Found 1579 publication records. Showing 1579 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
94Olivier Danvy, John Hatcliff On the Transformation between Direct and Continuation Semantics. Search on Bibsonomy MFPS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
66Anton Leykin, Frank Sottile Computing monodromy via parallel homotopy continuation. Search on Bibsonomy PASCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Schubert problems, polynomial homotopy continuation monodromy, parallel processing, distributed computing, Galois group
59Amr Sabry, Matthias Felleisen Is Continuation-Passing Useful for Data Flow Analysis? Search on Bibsonomy PLDI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
58Weihai Yu, Jie Yang Continuation-passing enactment of distributed recoverable workflows. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF decentralized workflow enactment, just-in-time distribution, continuation, automatic recovery
58Sunyoung Kim, Masakazu Kojima Numerical Stability of Path Tracing in Polyhedral Homotopy Continuation Methods. Search on Bibsonomy Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF polyhedral homotopy continuation methods, numerical stability, Polynomial system, path tracing
53Olivier Danvy, Julia L. Lawall Back to Direct Style II: First-Class Continuations. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF SCHEME
53Robert Hieb, R. Kent Dybvig Continuations and Concurrency. Search on Bibsonomy PPoPP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF SCHEME
52Ching-Chih Han, Kang G. Shin Message transmission with timing constraints in ring networks . Search on Bibsonomy RTSS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF message transmission problem, unidirectional slotted ring networks, evacuation mode, continuation mode, system initialization, message scheduling policies, message deadlines, maximum delay, least-slack-time-first scheduling policy, optimal scheduling policy, farthest-destination-first policy, message passing, performance measures, timing constraints, average delay, operation modes
50KangKang Yin, Stelian Coros, Philippe Beaudoin, Michiel van de Panne Continuation methods for adapting simulated skills. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
50Hayo Thielecke From control effects to typed continuation passing. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF control effects, polymorphism, continuations, type and effect systems
49Matthew Dobson, Mitchell Luskin Iterative Solution of the Quasicontinuum Equilibrium Equations with Continuation. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Quasicontinuum, Atomistic to continuum, Continuation, Fracture
49Satoshi Amamiya, Masaaki Izumi, Takanori Matsuzaki, Ryuzo Hasegawa, Makoto Amamiya Fuce: the continuation-based multithreading processor. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF continuation-based multithread programming, multithreading, thread-level parallelism, chip multi-processor
49Takayuki Gunji, Sunyoung Kim, Katsuki Fujisawa, Masakazu Kojima PHoMpara - Parallel Implementation of the Polyhedral Homotopy Continuation Method for Polynomial Systems. Search on Bibsonomy Computing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF homotopy continuation methods, polyhedral homotopy, parallel computation, Polynomials, software package, equations, numerical experiments
49Jeff R. Cash, Gerald Moore, Ross W. Wright An automatic continuation strategy for the solution of singularly perturbed nonlinear boundary value problems. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF automatic continuation, mesh selection, nonlinear boundary value problems, singular perturbation problem
43Weihai Yu Toward a Lightweight Process-Aware Middleware. Search on Bibsonomy APWeb/WAIM Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF peer-to-peer, workflow, Web services composition, continuation
43Kenichi Asai Online partial evaluation for shift and reset. Search on Bibsonomy PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF CPS transformation, direct style (DS), online partial evaluations, continuation-passing style (CPS), Delimited continuations
43Simon St. James, Ulrich Ultes-Nitsche Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness. Search on Bibsonomy PODC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF behaviour abstraction, satisfaction within fairness, weakly continuation-closed homomorphisms, partial-order methods, trace reduction
43Luc Moreau 0001 An operational semantics for a parallel functional language with continuations. Search on Bibsonomy PARLE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF metacontinuation, left expression, parallelism, Scheme, continuation, operational semantics, transparency
42Daniel Damian, Olivier Danvy Syntactic accidents in program analysis: on the impact of the CPS transformation. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF CPS transformation of binding-time information, CPS transformation of control-flow information, binding-time improvements, continuation-based evaluation, continuation-based partial evaluation
41Weihai Yu Scalable Services Orchestration with Continuation-Passing Messaging. Search on Bibsonomy INTENSIVE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
41Shigeru Kusakabe, Mitsuhiro Aono, Masaaki Izumi, Satoshi Amamiya, Yoshinari Nomura, Hideo Taniguchi, Makoto Amamiya Scalability of continuation-based fine-grained multithreading in handling multiple I/O requests on FUCE. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fine-grained multithreading, operating systems, I/O
41C.-J. Richard Shi, Michael W. Tian, Guoyong Shi Efficient DC fault simulation of nonlinear analog circuits: one-step relaxation and adaptive simulation continuation. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
41Ohad Ben-Shahar, Steven W. Zucker Good Continuation of General 2D Visual Features: Dual Harmonic Models and Computational Inference. Search on Bibsonomy ICCV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
41Mark J. Friedman, Willy Govaerts, Yuri A. Kuznetsov, Bart Sautois Continuation of Homoclinic Orbits in Matlab. Search on Bibsonomy International Conference on Computational Science (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
41Peter Thiemann 0001 Continuation-Based Partial Evaluation without Continuations. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Functional programming, type systems, partial evaluation
41Martin Hofmann 0001, Thomas Streicher Continuation Models are Universal for Lambda-Mu-Calculus. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
41Julia L. Lawall, Olivier Danvy Separating Stages in the Continuation-Passing Style Transformation. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF SCHEME
41Mark Temte A numerical technique for analytic continuation (abstract only). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
41Ravi Sethi, Adrian Tang 0001 Constructing Call-by-Value Continuation Semantics. Search on Bibsonomy ICALP The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
40Oliver Schütze, Adriana Lara, Carlos A. Coello Coello Evolutionary continuation methods for optimization problems. Search on Bibsonomy GECCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF scalar optimization, multi-objective optimization, root finding, continuation method
40Joris van der Hoeven On Effective Analytic Continuation. Search on Bibsonomy Math. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Analytic continuation, convolution equation, relaxed power series, algorithm, differential equation, error bound, Riemann surface
40Greg Reid, Jan Verschelde, Allan D. Wittkopf, Wenyuan Wu Symbolic-numeric completion of differential systems by homotopy continuation. Search on Bibsonomy ISSAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF component of solutions, diagonal homotopy, differential elimination, hidden constraint, numerical jet geometry, witness set, polynomial system, path following, differential algebraic equation, numerical algebraic geometry, homotopy continuation
40Takayuki Gunji, Sunyoung Kim, Masakazu Kojima, Akiko Takeda, Katsuki Fujisawa, Tomohiko Mizutani PHoM - a Polyhedral Homotopy Continuation Method for Polynomial Systems. Search on Bibsonomy Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF homotopy continuation method, polyhedral homotopy, Polynomial, software package, equation, numerical experiment
40Alberto Momigliano, Jeff Polakow A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. Search on Bibsonomy MERLIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF continuation machines, ordered linear logic, logical frameworks, higher order abstract syntax
40Jan Verschelde Algorithm 795: PHCpack: a general-purpose solver for polynomial systems by homotopy continuation. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Bézout number, Bernshtein's theorem, Schubert calculus, enumerative geometry, mixed volume, polyhedral homotopy, root count, start system, Ada, polynomial systems, homotopy continuation
40P. K. Nanda, K. Sunil Kumar, S. Ghokale, Uday B. Desai A multiresolution approach to color image restoration and parameter estimation using homotopy continuation method. Search on Bibsonomy ICIP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multiresolution approach, color image restoration, homotopy continuation method, restoration algorithm, computational complexity, computational complexity, simulated annealing, parameter estimation, parameter estimation, Markov random field, Markov processes, image restoration, simulation results, image resolution, image colour analysis, random processes, energy function, MRF model, simulated annealing algorithm
35Jay A. McCarthy Automatically RESTful web applications: marking modular serializable continuations. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF web applications, continuations, stack inspection
35Armand Navabi, Suresh Jagannathan Exceptionally Safe Futures. Search on Bibsonomy COORDINATION The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Olivier Danvy Defunctionalized interpreters for programming languages. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF big-step abstract machines, context-sensitive reduction semantics, cps transformation, refocusing, small-step abstract machines, interruptions, continuations, structural operational semantics, natural semantics, defunctionalization, reduction semantics
35Christopher Dutchyn Specializing continuations a model for dynamic join points. Search on Bibsonomy FOAL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Jana Koehler, Rainer Hauser Untangling Unstructured Cyclic Flows - A Solution Based on Continuations. Search on Bibsonomy CoopIS/DOA/ODBASE (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Tomoharu Ugawa, Nobuhisa Minagawa, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations. Search on Bibsonomy APLAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Dennis Quan, David Huynh, David R. Karger, Robert C. Miller User interface continuations. Search on Bibsonomy UIST The full citation details ... 2003 DBLP  DOI  BibTeX  RDF dialog boxes, continuations
35Ecevit Yilmaz, Michael M. Green Applying Globally Convergent Techniques to Conventional DC Operating Point Analyses. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Circuit simulation, Nonlinear circuits
35Ecevit Yilmaz, Michael M. Green Some standard SPICE dc algorithms revisited: why does SPICE still not converge? Search on Bibsonomy ISCAS (6) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
35Christian Queinnec Locality, Causality and Continuations. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1994 DBLP  DOI  BibTeX  RDF SCHEME
35Robert Hieb, R. Kent Dybvig, Carl Bruggeman Representing Control in the Presence of First-Class Continuations. Search on Bibsonomy PLDI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF SCHEME
35Pierre Jouvelot, David K. Gifford Reasoning about Continuations with Control Effects. Search on Bibsonomy PLDI The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
35Gregory F. Johnson GL-a denotational testbed with continuations and partial continuations as first-class objects. Search on Bibsonomy PLDI The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
34Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo Towards a Complete Scheme for Tabled Execution Based on Program Transformation. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
34Eugene L. Allgower, Derrick J. Bates, Andrew J. Sommese, Charles W. Wampler Solution of Polynomial Systems Derived from Differential Equations. Search on Bibsonomy Computing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Differential equations, polynomial systems, boundary value problems, numerical algebraic geometry, homotopy continuation
34Kenichi Asai Offline partial evaluation for shift and reset. Search on Bibsonomy PEPM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF CPS transformation, binding-time analysis (BTA), offline partial evaluation, continuation-passing style (CPS), logical relations, delimited continuations
34Ramón Zatarain, Ryan Stansifer A model of CPS translation and interpretation. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF compilers, exception handling, continuation-passing style, functional programming languages
34Annick Dhooge, Willy Govaerts, Yuri A. Kuznetsov MATCONT: A MATLAB package for numerical bifurcation analysis of ODEs. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF numerical continuation, Dynamical system, bifurcation
34Yukiyoshi Kameyama, Masahito Hasegawa A sound and complete axiomatization of delimited continuations. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF continuation, axiomatization, CPS-translation
34Olivier Danvy, Mayer Goldberg There and back again. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Catalan numbers, Symbolic convolutions, continuation-based programming, palindrome detection
34Olivier Danvy Back to Direct Style. Search on Bibsonomy ESOP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Direct style transformation, continuation-passing style transformation, Scheme, calculus
32Satoshi Amamiya, Makoto Amamiya, Ryuzo Hasegawa, Hiroshi Fujita 0002 A continuation-based noninterruptible multithreading processor architecture. Search on Bibsonomy J. Supercomput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Parallel processing, Multithreading, Processor architecture, Thread level parallelism, Multithreaded programming
32Aliki D. Muradova The spectral method and numerical continuation algorithm for the von Kármán problem with postbuckling behaviour of solutions. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 74K20, 35B32, 65T40, 65F10, 65N35, 65N25
32Marc C. Robini, A. Lachal, Isabelle E. Magnin A Stochastic Continuation Approach to Piecewise Constant Reconstruction. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32José Espírito Santo, Ralph Matthes, Luís Pinto 0001 Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Dempsey Chang, Keith V. Nesbitt, Kevin Wilkins The Gestalt Principle of Continuation Applies to both the Haptic and Visual Grouping of Elements. Search on Bibsonomy WHC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Jaijeet S. Roychowdhury, Robert C. Melville Delivering global DC convergence for large mixed-signal circuits via homotopy/continuation methods. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Marcelo Bertalmío Strong-Continuation, Contrast-Invariant Inpainting With a Third-Order Optimal PDE. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Olivier Chapelle, Mingmin Chi, Alexander Zien A continuation method for semi-supervised SVMs. Search on Bibsonomy ICML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Masahito Hasegawa Semantics of Linear Continuation-Passing in Call-by-Name. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Annick Dhooge, Willy Govaerts, Yuri A. Kuznetsov Numerical Continuation of Branch Points of Limit Cycles in MATCONT. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Philippe Audebaud, Elena Zucca Deriving Proof Rules from Continuation Semantics. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Hoare semantics, Continuations, Labels, Exceptions
32Gerard Olivar, Enric Fossas, Carles Batlle Non-smooth continuation of periodic orbits in a chaotic buck converter. Search on Bibsonomy ISCAS (5) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
32Willy Govaerts, Yuri A. Kuznetsov, B. Sijnave Implementation of Hopf and Double-Hopf Continuation Using Bordering Methods. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF bialternate product, dynamical system, CONTENT
32John Hatcliff, Olivier Danvy A Generic Account of Continuation-Passing Styles. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
32Andy Mück, Thomas Streicher A Tiny Constrain Functional Logic Language and Its Continuation Semantics. Search on Bibsonomy ESOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
32John C. Reynolds On the Relation between Direct and Continuation Semantics. Search on Bibsonomy ICALP The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
31Koenraad De Bosschere, Paul Tarau High performance continuation passing style Prolog-to-C mapping. Search on Bibsonomy SAC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF binary logic programs, continuation based compilation, Prolog, program transformation
29Aref Jafari, Ivan Kobyzev, Mehdi Rezagholizadeh, Pascal Poupart, Ali Ghodsi 0001 Continuation KD: Improved Knowledge Distillation through the Lens of Continuation Optimization. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Aref Jafari, Ivan Kobyzev, Mehdi Rezagholizadeh, Pascal Poupart, Ali Ghodsi 0001 Continuation KD: Improved Knowledge Distillation through the Lens of Continuation Optimization. Search on Bibsonomy EMNLP (Findings) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Rachel Albar Production de la continuation du français par des apprenants japonophones : gestion de la F0 et de la durée (Production of French continuation by Japanese learners : F0 and duration ). Search on Bibsonomy JEP-TALN-RECITAL (1) The full citation details ... 2020 DBLP  BibTeX  RDF
29Vadim I. Utkin Brief comments for the continuation method by A.F. Filippov for solution continuation on a discontinuity set. Search on Bibsonomy Autom. Remote. Control. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
29Gabriel Kerneis Continuation-Passing C: Program Transformations for Compiling Concurrency in an Imperative Language. (Continuation-Passing C : Transformations de programmes pour compiler la concurrence dans un langage impératif). Search on Bibsonomy 2012   RDF
26Olivier Danvy Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. Search on Bibsonomy Semantics and Algebraic Specification The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Demet Batur Selecting the best system and determining a set of feasible systems. Search on Bibsonomy WSC The full citation details ... 2005 DBLP  BibTeX  RDF
26Olivier Danvy, Bernd Grobauer, Morten Rhiger A Unifying Approach to Goal-Directed Evaluation. Search on Bibsonomy SAIG The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Olivier Danvy Formalizing Implementation Strategies for First-Class Continuations. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Julia L. Lawall, Harry G. Mairson Sharing Continuations: Proofnets for Languages with Explicit Control. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Emad Gad, Michel S. Nakhla Model reduction for DC solution of large nonlinear circuits. Search on Bibsonomy ICCAD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
26Andrew W. Appel Intensional Equality ;=) for Continuations. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
26Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen The Essence of Compiling with Continuations. Search on Bibsonomy PLDI The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
26Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen The essence of compiling with continuations (with retrospective) Search on Bibsonomy Best of PLDI The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
26Gene Gindi, Anand Rangarajan 0001, M. Lee, P. J. Hong, I. George Zubal Bayesian Reconstruction for Emissiom Tomography via Deterministic Annealing. Search on Bibsonomy IPMI The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
26Kenichi Asai, Arisa Kitani Functional derivation of a virtual machine for delimited continuations. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF cps transformation, functional derivation, virtual machine, delimited continuation, defunctionalization
26Lukas Stadler, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck, John Rose Lazy continuations for Java virtual machines. Search on Bibsonomy PPPJ The full citation details ... 2009 DBLP  DOI  BibTeX  RDF stack frame, Java, optimization, performance, virtual machine, continuation, activation
26Weihai Yu Consistent and decentralized orchestration of BPEL processes. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF consistent orchestration, continuation-passing messaging, decentralized orchestration
26Weihai Yu Decentralized Orchestration of BPEL Processes with Execution Consistency. Search on Bibsonomy APWeb/WAIM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Continuation-passing messaging, Dynamic process structure, Consistent orchestration, Decentralized orchestration
26Jan Midtgaard, Thomas P. Jensen Control-flow analysis of function calls and returns by abstract interpretation. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF direct style, tail-call optimization, abstract interpretation, control flow analysis, continuation-passing style, constraint-based analysis
26Ruth Rosenholtz, Nathaniel R. Twarog, Nadja Schinkel-Bielefeld, Martin Wattenberg An intuitive model of perceptual grouping for HCI design. Search on Bibsonomy CHI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF contour integration, good continuation, similarity, grouping, proximity, perceptual organization, gestalt
26Malgorzata Biernacka, Dariusz Biernacki Context-based proofs of termination for typed delimited-control operators. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF reducibility predicates, type system, continuation-passing style, delimited continuations, reduction semantics
26Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
26Ruy Ley-Wild, Matthew Fluet, Umut A. Acar Compiling self-adjusting programs with continuations. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF memoization, continuation-passing style, self-adjusting computation
26Gang Yu Implementing Higher-Order Control in Java. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF FANF, transformation, exception handling, continuation
26Chung-chieh Shan A static simulation of dynamic delimited control. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Delimited control operators, Macro expressibility, Shift and reset, Control and prompt, Continuation-passing style (CPS)
Displaying result #1 - #100 of 1579 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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