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 |