Search results for "continuations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	David A. Schmidt	State-transition machines for lambda-calculus expressions.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	SECD-machine, Weak-normal form, Continuations, Lambda calculus, Denotational semantics, Defunctionalization, State transition machine
18	Justin R. Erenkrantz, Michael Martin Gorlick, Girish Suryanarayana, Richard N. Taylor	From representations to computations: the evolution of web architectures.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	network continuations, web services, mobile code, representational state transfer
18	Matthew Might, Olin Shivers	Environment analysis via Delta CFA.	POPL	2006	DBLP DOI BibTeX RDF	delta-CFA, environment analysis, super-beta, program analysis, continuations, lambda calculus, functional languages, flow analysis, CPS, inlining
18	Oleg Kiselyov, Chung-chieh Shan, Amr Sabry	Delimited dynamic binding.	ICFP	2006	DBLP DOI BibTeX RDF	monads, dynamic binding, delimited continuations
18	Matthew Might, Olin Shivers	Improving flow analyses via GammaCFA: abstract garbage collection and counting.	ICFP	2006	DBLP DOI BibTeX RDF	abstract counting, abstract garbage collection, environment analysis, gamma-CFA, superbeta, program analysis, continuations, lambda calculus, functional languages, flow analysis, CPS, inlining
18	Vincent Balat	Ocsigen: typing web interaction with objective Caml.	ML	2006	DBLP DOI BibTeX RDF	continuations, web programming, objective Caml
18	Guillaume Germain	Concurrency oriented programming in termite scheme.	Erlang Workshop	2006	DBLP DOI BibTeX RDF	distributed computing, scheme, continuations, erlang, macros
18	Olin Shivers	The anatomy of a loop: a story of scope and control.	ICFP	2005	DBLP DOI BibTeX RDF	compilers, programming languages, functional programming, scheme, continuations, lambda-calculus, iteration, macros, control structures
18	Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne	Characterizing strong normalization in a language with control operators.	PPDP	2004	DBLP DOI BibTeX RDF	functional programming, continuations, classical logic, intersection type
18	Kenichi Asai	Online partial evaluation for shift and reset.	PEPM	2002	DBLP DOI BibTeX RDF	CPS transformation, direct style (DS), online partial evaluations, continuation-passing style (CPS), Delimited continuations
18	Dragos-Anton Manolescu	Workflow enactment with continuation and future objects.	OOPSLA	2002	DBLP DOI BibTeX RDF	future objects, micro-workflow, trampolined style, workflow, continuations
18	Michael Sperber, Peter Thiemann 0001	Generation of LR parsers by partial evaluation.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	functional programming, continuations, partial evaluation, parser generation, LR parsing
18	Ralf Hinze	Deriving backtracking monad transformers.	ICFP	2000	DBLP DOI BibTeX RDF	Prolog, Prolog, Haskell, Haskell, continuations, monads, backtracking, cut, program derivation, PEARL, monad transformers
18	Robert O'Callahn	A Simple, Comprehensive Type System for Java Bytecode Subroutines.	POPL	1999	DBLP DOI BibTeX RDF	polymorphic recursion, Java, Java, types, continuations, subroutines, bytecode
18	Amr Sabry, Philip Wadler	A Reflection on Call-by-Value.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	compiling, continuations, category theory, Galois connections
18	Mikael Pettersson	A Compiler for Natural Semantics.	CC	1996	DBLP DOI BibTeX RDF	tailcalls, continuations, natural semantics, determinacy
18	Peter Thiemann 0001	Cogen in Six Lines.	ICFP	1996	DBLP DOI BibTeX RDF	multi-level computation, continuations, partial evaluation
18	Enno Scholz	Turning a functional data type into a concurrent programming language.	SAC	1995	DBLP DOI BibTeX RDF	concurrent programming language design, functional programming, continuations, higher-order programming
18	Anton Eliëns, Erik P. de Vink	Asynchronous Rendez-vous in Distributed Logic Programming.	REX Workshop	1992	DBLP DOI BibTeX RDF	metric semantics, distributed logic programming, concurrency, continuations
18	Pascal Fradet, Daniel Le Métayer	Compilation of Functional Languages by Program Transformation.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	program transformation, continuations, combinators
18	Srecko Brlek, Pierre Castéran, Robert Strandh	On Addition Schemes.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF	compilation of functional languages, Scheme programming language, semi-numerical algorithms, continuations, addition chains, programming languages semantics
12	Laurent D. Michel	Parallelizing constraint programs.	DAMP	2010	DBLP DOI BibTeX RDF	constraint-based local search, parallel programming, constraint programming
12	Weihai Yu	Consistent and decentralized orchestration of BPEL processes.	SAC	2009	DBLP DOI BibTeX RDF	consistent orchestration, continuation-passing messaging, decentralized orchestration
12	Federico Aschieri, Stefano Berardi	Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1.	TLCA	2009	DBLP DOI BibTeX RDF
12	Frank Pfenning, Robert J. Simmons	Substructural Operational Semantics as Ordered Logic Programming.	LICS	2009	DBLP DOI BibTeX RDF
12	Alex Simpson	Linear types for computational effects.	POPL	2009	DBLP DOI BibTeX RDF	computational monads, linear logic, computational effects
12	Malgorzata Biernacka, Olivier Danvy	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
12	Kristian Støvring, Søren B. Lassen	A Complete, Co-inductive Syntactic Theory of Sequential Control and State.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
12	Annette Bieniusa, Peter Thiemann 0001	How to CPS Transform a Monad.	CC	2009	DBLP DOI BibTeX RDF
12	Weihai Yu	Decentralized Orchestration of BPEL Processes with Execution Consistency.	APWeb/WAIM	2009	DBLP DOI BibTeX RDF	Continuation-passing messaging, Dynamic process structure, Consistent orchestration, Decentralized orchestration
12	Weihai Yu	Scalable Services Orchestration with Continuation-Passing Messaging.	INTENSIVE	2009	DBLP DOI BibTeX RDF
12	Ioannis G. Baltopoulos, Andrew D. Gordon 0001	Secure compilation of a multi-tier web language.	TLDI	2009	DBLP DOI BibTeX RDF	cryptography, compilers, integrity, type systems, web programming, web application security
12	Armand Navabi, Suresh Jagannathan	Exceptionally Safe Futures.	COORDINATION	2009	DBLP DOI BibTeX RDF
12	Oleg Kiselyov, Chung-chieh Shan	Embedded Probabilistic Programming.	DSL	2009	DBLP DOI BibTeX RDF
12	Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson	Enriching an Effect Calculus with Linear Types.	CSL	2009	DBLP DOI BibTeX RDF
12	Franz Baader, Andreas Bauer 0002, Marcel Lippmann	Runtime Verification Using a Temporal Description Logic.	FroCoS	2009	DBLP DOI BibTeX RDF
12	Jim Sukha	Brief announcement: a lower bound for depth-restricted work stealing.	SPAA	2009	DBLP DOI BibTeX RDF	dynamic multithreading, intel threading building blocks, scheduling, work stealing, cilk
12	Matthias Blume, Umut A. Acar, Wonseok Chae	Exception Handlers as Extensible Cases.	APLAS	2008	DBLP DOI BibTeX RDF
12	Ariel Ortiz	Language design and implementation using ruby and the interpreter pattern.	SIGCSE	2008	DBLP DOI BibTeX RDF	s-expression, design patterns, interpreter, ruby
12	Charlotte Herzeel, Pascal Costanza, Theo D'Hondt	Reflection for the Masses.	S3	2008	DBLP DOI BibTeX RDF
12	Claudia Di Napoli, Maurizio Giordano	Explicit Control of Service Execution to Support QoS-Based Grid Scheduling.	ICA3PP	2008	DBLP DOI BibTeX RDF
12	Philipp Haller, Tom Van Cutsem	Implementing Joins Using Extensible Pattern Matching.	COORDINATION	2008	DBLP DOI BibTeX RDF	Join Patterns, Concurrent Programming, Actors, Chords
12	Joris van der Hoeven	On Effective Analytic Continuation.	Math. Comput. Sci.	2007	DBLP DOI BibTeX RDF	Analytic continuation, convolution equation, relaxed power series, algorithm, differential equation, error bound, Riemann surface
12	Chung-chieh Shan	A static simulation of dynamic delimited control.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Delimited control operators, Macro expressibility, Shift and reset, Control and prompt, Continuation-passing style (CPS)
12	Jean-Louis Krivine	A call-by-name lambda-calculus machine.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Lambda-calculus machine, Control instruction, Curry-Howard correspondence
12	Yukiyoshi Kameyama	Axioms for control operators in the CPS hierarchy.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Type system, Axiomatization, Delimited continuation, CPS translation, Control operator
12	Jeffrey Mark Siskind, Barak A. Pearlmutter	First-class nonstandard interpretations by opening closures.	POPL	2007	DBLP DOI BibTeX RDF	lambda lifting, referential transparency
12	Claudia Di Napoli, Maurizio Giordano	An Application-Level Service Control Mechanism for QoS-Based Grid Scheduling.	OTM Conferences (2)	2007	DBLP DOI BibTeX RDF
12	Rasmus Ejlers Møgelberg, Alex Simpson	A Logic for Parametric Polymorphism with Effects.	TYPES	2007	DBLP DOI BibTeX RDF
12	Seda Özmutlu, Huseyin Cenk Özmutlu, Buket Buyuk	Using Monte-Carlo simulation for automatic new topic identification of search engine transaction logs.	WSC	2007	DBLP DOI BibTeX RDF
12	Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen	Adding delimited and composable control to a production programming environment.	ICFP	2007	DBLP DOI BibTeX RDF
12	Todd A. Anderson 0001, Neal Glew, Peng Guo, Brian T. Lewis, Wei Liu, Zhanglin Liu, Leaf Petersen, Mohan Rajagopalan, James M. Stichnoth, Gansha Wu, Dan Zhang	Pillar: A Parallel Implementation Language.	LCPC	2007	DBLP DOI BibTeX RDF
12	Robert Rettinger	Computable Riemann Surfaces.	CiE	2007	DBLP DOI BibTeX RDF	computable Riemann surface, computable uniformization
12	Youcef Rahal, Philippe Mabilleau, Hélène Pigot	Bayesian Filtering and Anonymous Sensors for Localization in a Smart Home.	AINA Workshops (2)	2007	DBLP DOI BibTeX RDF
12	John William Lumley, Roger Gimson, Owen Rees	Endless documents: a publication as a continual function.	ACM Symposium on Document Engineering	2007	DBLP DOI BibTeX RDF	functional programming, XSLT, SVG, document construction
12	Pascal Van Hentenryck, Laurent Michel	Nondeterministic Control for Hybrid Search.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	hybrid search, search procedure, local search, checkpoint, continuation, closure, non determinism, solution, constraint language
12	Zhaozhong Ni, Zhong Shao	Certified assembly programming with embedded code pointers.	POPL	2006	DBLP DOI BibTeX RDF	embedded code pointers, hoare logic, proof-carrying code, higher-order functions
12	Paul Blain Levy	Jumbo lambda-Calculus.	ICALP (2)	2006	DBLP DOI BibTeX RDF
12	Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones	Haskell Is Not Not ML.	ESOP	2006	DBLP DOI BibTeX RDF
12	Rémi Coulom	Efficient Selectivity and Backup Operators in Monte-Carlo Tree Search.	Computers and Games	2006	DBLP DOI BibTeX RDF
12	Xinyu Feng 0001, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni	Modular verification of assembly code with stack-based control abstractions.	PLDI	2006	DBLP DOI BibTeX RDF	assembly code verification, control abstractions, stack-based, modularity, proof-carrying code
12	Laurent Michel, Andrew See, Pascal Van Hentenryck	High-Level Nondeterministic Abstractions in.	CP	2006	DBLP DOI BibTeX RDF
12	C. Karen Liu, Aaron Hertzmann, Zoran Popovic	Composition of complex optimal multi-character motions.	Symposium on Computer Animation	2006	DBLP DOI BibTeX RDF
12	Michael Carl	A system-theoretical view of EBMT.	Mach. Transl.	2005	DBLP DOI BibTeX RDF	Statistical EBMT, Statistical machine translation, System theory, Example-based machine translation, Emergent behaviour
12	Pascal Van Hentenryck, Laurent Michel	Nondeterministic Control for Hybrid Search.	CPAIOR	2005	DBLP DOI BibTeX RDF
12	Olivier Danvy, Kevin Millikin	A Rational Deconstruction of Landin's J Operator.	IFL	2005	DBLP DOI BibTeX RDF
12	Sam Lindley, Ian Stark	Reducibility and TT-Lifting for Computation Types.	TLCA	2005	DBLP DOI BibTeX RDF
12	Carsten Schürmann 0001, Adam Poswolsky, Jeffrey Sarnat	The [triangle]-Calculus. Functional Programming with Higher-Order Encodings.	TLCA	2005	DBLP DOI BibTeX RDF
12	Fredrik Warg, Per Stenström	Reducing misspeculation overhead for module-level speculative execution.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	misspeculation prediction, module-level parallelism, performance evaluation, chip multiprocessors, thread-level speculation
12	John Power	Discrete Lawvere Theories.	CALCO	2005	DBLP DOI BibTeX RDF
12	Tom Murphy VII, Karl Crary, Robert Harper 0001	Distributed Control Flow with Classical Modal Logic.	CSL	2005	DBLP DOI BibTeX RDF
12	Eduardo Bonelli, Adriana B. Compagnoni, Ricardo H. Medel	Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks.	CASSIS	2005	DBLP DOI BibTeX RDF
12	Kosaku Nagasaka	Towards More Accurate Separation Bounds of Empirical Polynomials II.	CASC	2005	DBLP DOI BibTeX RDF
12	Hayo Thielecke	Answer Type Polymorphism in Call-by-Name Continuation Passing.	ESOP	2004	DBLP DOI BibTeX RDF
12	Brian Sheppard	Efficient Control of Selective Simulations.	Computers and Games	2004	DBLP DOI BibTeX RDF
12	Jinmiao Li, Yun Mai, Greg Butler	Implementing Exception Handling Policies for Workflow Management System.	APSEC	2003	DBLP DOI BibTeX RDF
12	David Walker 0001, Steve Zdancewic, Jay Ligatti	A theory of aspects.	ICFP	2003	DBLP DOI BibTeX RDF	aspect-oriented programming, operational semantics, aspects, type theory
12	Dariusz Biernacki, Olivier Danvy	From Interpreter to Logic Engine by Defunctionalization.	LOPSTR	2003	DBLP DOI BibTeX RDF
12	Geoffrey Watson, Colin J. Fidge	A Partial-Correctness Semantics for Modelling Assembler Programs.	SEFM	2003	DBLP DOI BibTeX RDF
12	Carsten Führmann	Varieties of Effects.	FoSSaCS	2002	DBLP DOI BibTeX RDF
12	Gordon D. Plotkin, John Power	Notions of Computation Determine Monads.	FoSSaCS	2002	DBLP DOI BibTeX RDF
12	Vincent Balat, Olivier Danvy	Memoization in Type-Directed Partial Evaluation.	GPCE	2002	DBLP DOI BibTeX RDF
12	Oleg Kiselyov	Macros That Compose: Systematic Macro Programming.	GPCE	2002	DBLP DOI BibTeX RDF
12	Magnus Carlsson	Monads for incremental computing.	ICFP	2002	DBLP DOI BibTeX RDF
12	Marcelo Bernardes Vieira, Matthieu Cord, Paulo P. Martins Jr., Arnaldo de Albuquerque Araújo, Sylvie Philipp-Foliguet	Filtering Sparse Data with 3D Tensorial Structuring Elements.	SIBGRAPI	2002	DBLP DOI BibTeX RDF
12	Masahito Hasegawa	Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus.	FLOPS	2002	DBLP DOI BibTeX RDF
12	Philippa Gardner, Cosimo Laneve, Lucian Wischik	The Fusion Machine.	CONCUR	2002	DBLP DOI BibTeX RDF
12	Matthias Felleisen	Developing Interactive Web Programs.	Advanced Functional Programming	2002	DBLP DOI BibTeX RDF
12	Steve Zdancewic, Andrew C. Myers	Secure Information Flow and CPS.	ESOP	2001	DBLP DOI BibTeX RDF
12	Franck Dufrenois	Ellipse Fitting with Uncertainty and Fuzzy Decision Stage for Detection. Application in Videomicroscopy.	ECSQARU	2001	DBLP DOI BibTeX RDF
12	William G. Chismar, Robert Mittman	Information Technology in Health Care Track - Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
12	Tatsurou Sekiguchi, Takahiro Sakamoto, Akinori Yonezawa	Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling.	Advances in Exception Handling Techniques	2000	DBLP DOI BibTeX RDF
12	Daniel Damian, Olivier Danvy	Syntactic accidents in program analysis: on the impact of the CPS transformation.	ICFP	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
12	Steven E. Ganz, Daniel P. Friedman, Mitchell Wand	Trampolined Style.	ICFP	1999	DBLP DOI BibTeX RDF
12	Volker Diekert, Paul Gastin	Approximating Traces.	Acta Informatica	1998	DBLP DOI BibTeX RDF
12	Zhong Shao, Valery Trifonov	Type-Directed Continuation Allocation.	Types in Compilation	1998	DBLP DOI BibTeX RDF
12	Christian Fecht, Helmut Seidl	Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems.	ESOP	1998	DBLP DOI BibTeX RDF
12	Robert G. Burger, R. Kent Dybvig	An Infrastructure for Profile-Driven Dynamic Recompilation.	ICCL	1998	DBLP DOI BibTeX RDF	edge-count profiling, basic-block reordering, dynamic compilation, run-time code generation
12	Paul Tarau	Towards Inference and Computation Mobility: The Jinni Experiment.	JELIA	1998	DBLP DOI BibTeX RDF
12	Philip Wadler	How to Declare an Imperative.	ACM Comput. Surv.	1997	DBLP DOI BibTeX RDF	functional programming, Haskell, monad