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 (15) 2004-2005 (32) 2006 (24) 2007 (32) 2008-2009 (47) 2010-2011 (15) 2012-2014 (22) 2015-2016 (18) 2017-2019 (7)
Publication types (Num. hits)
article(100) book(3) incollection(1) inproceedings(287) phdthesis(1) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 415 occurrences of 213 keywords

Results
Found 393 publication records. Showing 393 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
107Olivier Danvy Formalizing Implementation Strategies for First-Class Continuations. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
107Andrew W. Appel Intensional Equality ;=) for Continuations. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
107William 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
94Yukiyoshi Kameyama A Type-Theoretic Study on Partial Continuations. Search on Bibsonomy IFIP TCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
94Carl 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
88Luc 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
87Greg 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
82James Laird Exceptions, Continuations and Macro-expressiveness. Search on Bibsonomy ESOP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
82Robert Hieb, R. Kent Dybvig Continuations and Concurrency. Search on Bibsonomy PPOPP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF SCHEME
81Hayo 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
79Chris Barker, Chung-chieh Shan Types as Graphs: Continuations in Type Logical Grammar. Search on Bibsonomy Journal of Logic, Language and Information 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
76Julia 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
75Gregory 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
69Lukas 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
69Christian 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
69Christopher 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
63Olivier Danvy Many Happy Returns. Search on Bibsonomy TLCA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
63S. 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
62Tiark 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
62Denis 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
62Christian Queinnec Continuations and Web Servers. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2004 DBLP  DOI  BibTeX  RDF WWW, hypertext, scheme, continuations
62Dennis 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
56Kenichi 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
56Christian Queinnec Inverting back the inversion of control or, continuations versus page-centric programming. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
56Tomoharu 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
56Julia 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
56Jon 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
56Luc 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
56Luc 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
56Andrzej Filinski Linear Continuations. Search on Bibsonomy POPL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
56Richard 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
56Ana 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
56Kristian 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
51Masahito Hasegawa Semantics of Linear Continuation-Passing in Call-by-Name. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
51Richard Kelsey, William D. Clinger, Jonathan Rees Revised5 Report on the Algorithmic Language Scheme. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SCHEME
51Olivier Danvy, Andrzej Filinski Abstracting Control. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
51Daniel P. Friedman, Christopher T. Haynes Constraining Control. Search on Bibsonomy POPL The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
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
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
49Timothy K. Shih, Nick C. Tang, Wei-Sung Yeh, Ta-Jen Chen, Wonjun Lee 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
44Oleg Kiselyov, Chung-chieh Shan Delimited Continuations in Operating Systems. Search on Bibsonomy CONTEXT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Zena 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
44Yukiyoshi 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
44Florin 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
44Hayo Thielecke On Exceptions Versus Continuations in the Presence of State. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
44Scott Burson Continuations Without Copying. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1994 DBLP  DOI  BibTeX  RDF SCHEME
44Christian Queinnec Locality, Causality and Continuations. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1994 DBLP  DOI  BibTeX  RDF SCHEME
44Luc 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
44Xavier Leroy Polymorphism by Name for References and Continuations. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF ML
44Morry 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
44Pierre Jouvelot, David K. Gifford Reasoning about Continuations with Control Effects. Search on Bibsonomy PLDI The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
44Cliff 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
43Shriram 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 Higher-Order and Symbolic Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Performance, Interaction, Web, Applications, Scheme, Continuations, Conference management
43Oleg 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
43Paul 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
43Christian 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
38Weihai 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
38Weihai 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
38Andrzej Filinski Representing Monads. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
38Olivier Danvy Memory allocation and higher-order functions. Search on Bibsonomy PLDI The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
37Hayo Thielecke Command injection attacks, continuations, and the Lambek calculus. Search on Bibsonomy WoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
37Neil 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
37Ekaterina Lebedeva Expressing discourse dynamics through continuations. (Expression de la dynamique du discours à l'aide de continuations). Search on Bibsonomy 2012   RDF
37Dorai Sitaram, Matthias Felleisen Modeling Continuations without Continuations. Search on Bibsonomy POPL The full citation details ... 1991 DBLP  DOI  BibTeX  RDF SCHEME
36Noam 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
36Jay 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
36Andrew 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
36Eneia 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
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
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
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
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
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
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
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 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
30Chris 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
30Malgorzata 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
30David 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
30Maurizio 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
30Hayo 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
30Martin Gasbichler, Michael Sperber Integrating User-Level Threads with Processes in Scsh. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Unix, Scheme, threads, continuations
30Gré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
30Kenichi 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
30Olin 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
30Martin 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
30Yohji 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
30Satish 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
30Philippe Audebaud, Elena Zucca Deriving Proof Rules from Continuation Semantics. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Hoare semantics, Continuations, Labels, Exceptions
30Henry 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
30M. 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
25Brian 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 393 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license