The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1974-1987 (18) 1988-1989 (17) 1990-1991 (24) 1992-1993 (24) 1994 (15) 1995-1996 (19) 1997-1998 (18) 1999-2000 (24) 2001-2002 (22) 2003-2004 (27) 2005 (19) 2006 (24) 2007 (32) 2008-2009 (47) 2010-2011 (15) 2012-2014 (22) 2015-2016 (18) 2017-2019 (15) 2020-2022 (16) 2023-2024 (12)
Publication types (Num. hits)
article(121) book(3) incollection(1) inproceedings(300) phdthesis(2) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 415 occurrences of 213 keywords

Results
Found 428 publication records. Showing 428 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
102Olivier Danvy Formalizing Implementation Strategies for First-Class Continuations. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
102Andrew W. Appel Intensional Equality ;=) for Continuations. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
102William D. Clinger, Anne Hartheimer, Eric Ost Implementation Strategies for Continuations. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
90Yukiyoshi Kameyama A Type-Theoretic Study on Partial Continuations. Search on Bibsonomy IFIP TCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
90Carl Bruggeman, Oscar Waddell, R. Kent Dybvig Representing Control in the Presence of One-Shot Continuations. Search on Bibsonomy PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
86Luc Moreau 0001, Christian Queinnec Partial Continuations as the Difference of Continuations - A Duumvirate of Control Operators. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
84Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen Continuations from generalized stack inspection. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF A-normal form, scheme, continuations, web programming, continuation-passing style, stack inspection, defunctionalization
79Chris Barker, Chung-chieh Shan Types as Graphs: Continuations in Type Logical Grammar. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF type-logical grammar, resource sensitivity, polarity licensing, superiority, evaluation order, continuations, binding, quantification, staging, delimited continuations
78James Laird Exceptions, Continuations and Macro-expressiveness. Search on Bibsonomy ESOP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
78Robert Hieb, R. Kent Dybvig Continuations and Concurrency. Search on Bibsonomy PPoPP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF SCHEME
76Hayo 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
74Gregory 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
70Julia 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
67Lukas 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
67Christian Queinnec The influence of browsers on evaluators or, continuations to program web servers. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF WEB
67Christopher T. Haynes, Daniel P. Friedman Embedding Continuations in Procedural Objects. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF LISP, SCHEME
61Tiark Rompf, Ingo Maier, Martin Odersky Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF control effects, selective CPS transform, program transformation, delimited continuations
61Denis Jouvin Continuations and Behavior Components Engineering in Multi-Agent Systems. Search on Bibsonomy MATES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF conversational multi-agent systems, behavioral component, continuation-based automatons, Continuations, agent oriented software engineering
61Christian Queinnec Continuations and Web Servers. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF WWW, hypertext, scheme, continuations
61Dennis 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
59Olivier Danvy Many Happy Returns. Search on Bibsonomy TLCA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
59S. Kamal Abdali, David S. Wise Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name. Search on Bibsonomy Mathematical Foundations of Programming Semantics The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
55Kenichi 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
55Christian Queinnec Inverting back the inversion of control or, continuations versus page-centric programming. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
55Tomoharu 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
55Julia 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
55Jon G. Riecke, Hayo Thielecke Typed Exeptions and Continuations Cannot Macro-Express Each Other. Search on Bibsonomy ICALP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
55Luc Moreau 0001 Non-Speculative and Upward Invocation of Continuations in a Parallel Language. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
55Andrzej Filinski Linear Continuations. Search on Bibsonomy POPL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
55Luc 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
55Richard Draves, Brian N. Bershad, Richard F. Rashid, Randall W. Dean Using Continuations to Implement Thread Management and Communication in Operating Systems. Search on Bibsonomy SOSP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Mach
53Ana Lúcia de Moura, Roberto Ierusalimschy Revisiting coroutines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF generators, Continuations, multitasking
53Kristian Støvring, Søren B. Lassen A complete, co-inductive syntactic theory of sequential control and state. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF mutable references, continuations, bisimulation
49Eric Koskinen, Maurice Herlihy Checkpoints and continuations instead of nested transactions. Search on Bibsonomy SPAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF parallel programming, concurrency, checkpoints, transactional memory, boosting, continuations
49Timothy K. Shih, Nick C. Tang, Wei-Sung Yeh, Ta-Jen Chen, Wonjun Lee 0001 Video inpainting and implant via diversified temporal continuations. Search on Bibsonomy ACM Multimedia The full citation details ... 2006 DBLP  DOI  BibTeX  RDF temporal continuations, video implant, object tracking, video inpainting, object removal
49Timothy K. Shih, Nick C. Tang, Wei-Sung Yeh, Ta-Jen Chen Video inpainting and implant via diversified temporal continuations (video demonstration). Search on Bibsonomy ACM Multimedia The full citation details ... 2006 DBLP  DOI  BibTeX  RDF temporal continuations, video implant, object tracking, video inpainting, object removal
49Olin Shivers, Matthew Might Continuations and transducer composition. Search on Bibsonomy PLDI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF lambda, program analysis, continuations, fusion, language design, functional languages, stream processing, calculus, flow analysis, continuation-passing style (CPS), coroutines
47Masahito Hasegawa Semantics of Linear Continuation-Passing in Call-by-Name. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
47Richard Kelsey, William D. Clinger, Jonathan Rees Revised5 Report on the Algorithmic Language Scheme. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SCHEME
47Olivier Danvy, Andrzej Filinski Abstracting Control. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
47Daniel P. Friedman, Christopher T. Haynes Constraining Control. Search on Bibsonomy POPL The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
43Oleg Kiselyov, Chung-chieh Shan Delimited Continuations in Operating Systems. Search on Bibsonomy CONTEXT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Zena M. Ariola, Hugo Herbelin, Amr Sabry A type-theoretic foundation of continuations and prompts. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF callcc, prompt, subcontinuation, continuation, monad, subtraction, shift, reset
43Yukiyoshi 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
43Florin Sultan, Aniruddha Bohra, Liviu Iftode Service Continuations: An Operating System Mechanism for Dynamic Migration of Internet Service Sessions. Search on Bibsonomy SRDS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
43Hayo Thielecke On Exceptions Versus Continuations in the Presence of State. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
43Scott Burson Continuations Without Copying. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1994 DBLP  DOI  BibTeX  RDF SCHEME
43Christian Queinnec Locality, Causality and Continuations. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1994 DBLP  DOI  BibTeX  RDF SCHEME
43Luc Moreau 0001 The PCKS-Machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations. Search on Bibsonomy ESOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
43Xavier Leroy Polymorphism by Name for References and Continuations. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF ML
43Pierre Jouvelot, David K. Gifford Reasoning about Continuations with Control Effects. Search on Bibsonomy PLDI The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
43Morry Katz, Daniel Weise Continuing Into the Future: On the Interaction of Futures and First-Class Continuations. Search on Bibsonomy Workshop on Parallel Lisp The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
43Cliff B. Jones Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations. Search on Bibsonomy The Vienna Development Method: The Meta-Language The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
41Shriram Krishnamurthi, Peter Walton Hopkins, Jay A. McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen Implementation and use of the PLT scheme Web server. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Performance, Interaction, Web, Applications, Scheme, Continuations, Conference management
41Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry Backtracking, interleaving, and terminating monad transformers: (functional pearl). Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF control delimiters, logic programming, Prolog, streams, Haskell, continuations
41Paul Tarau, Verónica Dahl Towards a Logic Programming Infrastructure for Internet Programming. Search on Bibsonomy Artificial Intelligence Today The full citation details ... 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
41Christian Urban Implementation of Proof Search in the Imperative Programming Language Pizza. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Success Continuations, G4ip, Pizza
39Hayo Thielecke Command injection attacks, continuations, and the Lambek calculus. Search on Bibsonomy WoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
39Neil Sculthorpe, Paolo Torrini, Peter D. Mosses A Modular Structural Operational Semantics for Delimited Continuations. Search on Bibsonomy WoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
39Ekaterina Lebedeva Expressing discourse dynamics through continuations. (Expression de la dynamique du discours à l'aide de continuations). Search on Bibsonomy 2012   RDF
39Dorai Sitaram, Matthias Felleisen Modeling Continuations without Continuations. Search on Bibsonomy POPL The full citation details ... 1991 DBLP  DOI  BibTeX  RDF SCHEME
37Noam Zeilberger Polarity and the Logic of Delimited Continuations. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF programming, logic, continuations, proof theory, polarity
37Jay 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
37Andrew Kennedy Compiling with continuations, continued. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF continuations, monads, optimizing compilation, continuation passing style, functional programming languages
37Eneia Todoran, Nikolaos Papaspyrou Continuations for parallel logic programming. Search on Bibsonomy PPDP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF basic Andorra model, Haskell, continuations, monads, denotational semantics, parallel logic programming
35Weihai 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
35Weihai 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
35Andrzej Filinski Representing Monads. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
35Olivier Danvy Memory allocation and higher-order functions. Search on Bibsonomy PLDI The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
31Olivier Danvy, Chung-chieh Shan, Ian Zerny J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations. Search on Bibsonomy DSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
31Hugo Herbelin, Silvia Ghilezan An approach to call-by-name delimited continuations. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF boehm separability, delimited control, observational completeness, classical logic
31Ruy 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
31Yukiyoshi Kameyama, Takuo Yonezawa Typed Dynamic Control Operators for Delimited Continuations. Search on Bibsonomy FLOPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Dynamic Control Operator, Type System, Polymorphism, Expressivity, Delimited Continuation, CPS Translation
31Jérémy Buisson, Fabien Dagnat Introspecting Continuations in Order to Update Active Code. Search on Bibsonomy HotSWUp The full citation details ... 2008 DBLP  DOI  BibTeX  RDF DSU, dynamic update of active code, introspection of execution states, typing, continuation, language construct, control operator
31Oleg Kiselyov, Chung-chieh Shan A Substructural Type System for Delimited Continuations. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Kenichi Asai, Yukiyoshi Kameyama Polymorphic Delimited Continuations. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Predicative/Impredicative Polymorphism, Type System, Delimited Continuation, CPS Translation, Control Operator
31Christopher Dutchyn Specializing continuations a model for dynamic join points. Search on Bibsonomy FOAL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Yukiyoshi Kameyama Axioms for Delimited Continuations in the CPS Hierarchy. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Peter 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
31Jonathan Sobel, Daniel P. Friedman Recycling Continuations. Search on Bibsonomy ICFP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF CSP
31Cormac 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
31Cormac 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
31Robert 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
31Matthias Felleisen, Mitchell Wand, Daniel P. Friedman, Bruce F. Duba Abstract Continuations: A Mathematical Semantics for Handling Full Jumps. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
29Chris Barker Wild control operators. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fcontrol, same, natural language, continuations, focus, shift, control operators, reset
29Malgorzata 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
29David Herman Functional pearl: the great escape or, how to jump the border without getting caught. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF delimited control, continuations, dynamic binding
29Maurizio Giordano, Claudia Di Napoli A Continuation-Based Framework for Economy-Driven Grid Service Provision. Search on Bibsonomy GECON The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Grid service provision, quality of service, continuations
29Hayo Thielecke Frame rules from answer types for code pointers. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF code pointers, polymorphism, continuations, Hoare logic, typed assembly language
29Martin Gasbichler, Michael Sperber Integrating User-Level Threads with Processes in Scsh. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Unix, Scheme, threads, continuations
29Grégoire Hamon A denotational semantics for stateflow. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF compilation, continuations, denotational semantics, Stateflow
29Kenichi 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
29Olin Shivers, David Fisher Multi-return function call. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF compilers, programming languages, functional programming, continuations, lambda calculus, control structures, procedure call
29Martin Gasbichler, Michael Sperber Final shift for call/cc: : direct implementation of shift and reset. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF implementation, scheme, continuations
29Yohji Akama Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic. Search on Bibsonomy CSL The full citation details ... 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
29Satish Chandra 0001, Brad Richards, James R. Larus Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF distributed systems, verification, Domain-specific languages, continuations, cache coherence
29Philippe 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
29Henry Cejtin, Suresh Jagannathan, Richard Kelsey Higher-Order Distributed Objects. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF concurrency, message-passing, SCHEME, continuations, higher-order languages
29M. Esen Tuna, Kamlesh Rath, Steven D. Johnson Specification and synthesis of bounded indirection. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 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
23Brian Chin, Todd D. Millstein An Extensible State Machine Pattern for Interactive Applications. Search on Bibsonomy ECOOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 428 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
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