|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 326 occurrences of 259 keywords
|
|
|
Results
Found 373 publication records. Showing 373 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
104 | MinSeong Kim, Andy J. Wellings |
An efficient and predictable implementation of asynchronous event handling in the RTSJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA, pp. 48-57, 2008, ACM, 978-1-60558-337-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
81 | MinSeong Kim, Andy J. Wellings |
Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009, pp. 80-89, 2009, ACM, 978-1-60558-732-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
79 | Binoy Ravindran, Edward Curley, E. Douglas Jensen |
On Scheduling Exception Handlers in Dynamic, Embedded Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, [Third] International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings, pp. 510-529, 2007, Springer, 978-3-540-72684-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
69 | Andy J. Wellings, Alan Burns 0001 |
Asynchronous Event Handling and Real-time Threads in the Real-time Specification for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 24-27 September 2002, San Jose, CA, USA, pp. 81-89, 2002, IEEE Computer Society, 0-7695-1739-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
58 | Kiran Pamnany, John Jannotti |
Elyze: enabling safe parallelism in event-driven servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia, November 9-10, 2008, pp. 15-21, 2008, ACM, 978-1-60558-382-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
concurrency scheduling, static analysis |
58 | Yoonki Song, Dongsoo Han |
Exception Specification and Handling in Workflow Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Web Technologies and Applications, 5th Asian-Pacific Web Conference, APWeb 2003, Xian, China, April 23-25, 2002, Proceedings, pp. 495-506, 2003, Springer, 3-540-02354-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
58 | Raoul Bhoedjang, Koen Langendoen |
Friendly and Efficient Message Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, pp. 121-130, 1996, IEEE Computer Society, 0-8186-7324-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
56 | Steven P. Reiss |
Dynamic detection of event handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), WODA 2008, Seattle, Washington, USA, July 21, 2008, pp. 1-7, 2008, ACM, 978-1-60558-054-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
event handler, monitoring, trace analysis, dynamic instrumentation |
56 | Eunhoe Kim, Jaeyoung Choi |
Design and Implementation of the Context Handlers in a Ubiquitous Computing Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I, pp. 325-334, 2007, Springer, 978-3-540-74468-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
56 | Ada Gavrilovska, Kenneth Mackenzie, Karsten Schwan, Austen McDonald |
Stream Handlers: Application-Specific Message Services on Attached Network Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hot Interconnects ![In: 10th Annual IEEE Symposium on High Performance Interconnects (HOTIC 2002), August 21 - 23, 2002, Stanford, CA, USA, pp. 115-120, 2002, IEEE Computer Society, 0-7695-1650-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
46 | Stefan Berger, Scott McFaddin, Carl Binding, Christian Hörtnagl, Anand Ranganathan |
Towards Pluggable Discovery Frameworks for Mobile and Pervasive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Data Management ![In: 5th IEEE International Conference on Mobile Data Management (MDM 2004), 19-22 January 2004, Berkeley, CA, USA, pp. 308-319, 2004, IEEE Computer Society, 0-7695-2070-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
46 | Christophe Dony |
A Fully Object-Oriented Exception Handling System: Rationale and Smalltalk Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Exception Handling Techniques ![In: Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop), pp. 18-38, 2000, Springer, 3-540-41952-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
46 | Deborah A. Wallach, Wilson C. Hsieh, Kirk L. Johnson, M. Frans Kaashoek, William E. Weihl |
Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Fifth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Santa Barbara, California, USA, July 19-21, 1995, pp. 217-226, 1995, ACM, 0-89791-700-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
46 | Christophe Dony |
An Object-Oriented Exception Handling System for an Object-Oriented Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'88 European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, Proceedings, pp. 146-161, 1988, Springer, 3-540-50053-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Fault-tolerant encapsulations, Resumption model, Object-oriented programming, Exception handling, Debugging environments |
44 | Gordon D. Plotkin, Matija Pretnar |
Handlers of Algebraic Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 80-94, 2009, Springer, 978-3-642-00589-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Rania Khalaf, Dieter Roller 0001, Frank Leymann |
Revisiting the Behavior of Fault and Compensation Handlers in WS-BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems: OTM 2009, Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part I, pp. 286-303, 2009, Springer, 978-3-642-05147-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Workflow, Transactions, Compensation, WS-BPEL, Error handling |
44 | Matthias Blume, Umut A. Acar, Wonseok Chae |
Exception Handlers as Extensible Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings, pp. 273-289, 2008, Springer, 978-3-540-89329-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Beytullah Yildiz, Geoffrey C. Fox, Shrideep Pallickara |
An Orchestration for Distributed Web Service Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Third International Conference on Internet and Web Applications and Services, ICIW 2008, 8-13 June 2008, Athens, Greece, pp. 638-643, 2008, IEEE Computer Society, 978-0-7695-3163-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Web Service Handler, Web Service, Concurrency, Orchestration |
44 | Meik Felser, Michael Golm, Christian Wawersich, Jürgen Kleinöder |
Execution time limitation of interrupt handlers in a Java operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, pp. 190-193, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Paulo de Vilhena |
Proof of Programs with Effect Handlers. (Preuve de Programmes avec Effect Handlers). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
42 | Ningning Xie, Daan Leijen |
Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 5(ICFP), pp. 1-30, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Daan Leijen |
First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TyDe@ICFP ![In: Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2018, St. Louis, MO, USA, September 27, 2018, pp. 51-64, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Jirka Marsík |
Effects and Handlers in Natural Language. (Les effects et les handlers dans le langage naturel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
37 | Deven Shah, Ashish Mangal, Mayank Agarwal, Mahendra Mehra, Tushar Dave, Dhiren R. Patel |
Protecting Global SOA from DoS and Other Security Threats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISA ![In: Advances in Information Security and Assurance, Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings, pp. 652-661, 2009, Springer, 978-3-642-02616-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Global SOA, Handlers, Security, Simulation, Web Services, SOA, DoS, Denial of Service |
37 | Aamer Jaleel, Bruce L. Jacob |
In-Line Interrupt Handling and Lock-Up Free Translation Lookaside Buffers (TLBs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(5), pp. 559-574, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Reorder-buffer (ROB), exception handlers, in-line interrupt, lock-up free, translation lookaside buffers (TLBs), performance modeling, precise interrupts |
37 | Klaus E. Schauser, Chris J. Scheiman, J. Mitchell Ferguson, Paul Z. Kolano |
Exploiting the Capabilities of Communications Co-Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA, pp. 109-115, 1996, IEEE Computer Society, 0-8186-7255-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
inter-computer links, communications coprocessor architecture, dedicated hardware support, user-level message handlers, Split-C, message handling code, Meiko CS-2 platform, synchronization, parallel architectures, local area networks, synchronisation, flexibility, coprocessors, computational power, massively parallel processors, workstation networks, active messages, electronic messaging |
37 | Martin Adelantado, Frédéric Boniol, D. Pinault |
A simulation environment for designing distributed reactive/deliberative time-constrained applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 186-195, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
distributed reactive/deliberative time-constrained applications design, deliberative systems, terminal state, logical time notion, man-machine interface handlers, time critical applications, Sun4 IPX workstation, X-Window graphical interface, French Ministry of Defense, simulator, real-time systems, graphical user interfaces, distributed processing, requirements, programming, programming environments, timing, computer games, program compilers, digital simulation, reactive systems, timing constraints, distributed real-time systems, simulation environment, application generators, reactive programming, Unix operating system, initial state |
35 | MinSeong Kim, Andy J. Wellings |
Using the executor framework to implement asynchronous event handling in the RTSJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010, pp. 16-25, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Giuseppe Ciaccio |
A Pretty Flexible API for Generic Peer-to-Peer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-8, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Jens Palsberg, Di Ma |
A Typed Interrupt Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings, pp. 291-310, 2002, Springer, 3-540-44165-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Jørgen Lindskov Knudsen |
Fault Tolerance and Exception Handling in BETA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Exception Handling Techniques ![In: Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop), pp. 1-17, 2000, Springer, 3-540-41952-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Babak Falsafi, David A. Wood 0001 |
Parallel Dispatch Queue: A Queue-Based Programming Abstraction to Parallelize Fine-Grain Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: Proceedings of the Fifth International Symposium on High-Performance Computer Architecture, Orlando, FL, USA, January 9-12, 1999, pp. 182-192, 1999, IEEE Computer Society, 0-7695-0004-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Susan Horwitz |
Adding Relational Query Facilities to Software Development Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings, pp. 269-283, 1988, Springer, 3-540-19027-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Sean Reilly |
Multi-Event Handlers for Sensor-Driven Ubiquitous Computing Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom ![In: Seventh Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2009, 9-13 March 2009, Galveston, TX, USA, pp. 1-2, 2009, IEEE Computer Society, 978-1-4244-3304-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Chi Man Siu |
Optical Handlers: eeyee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ASIA Art Gallery & Emerging Technologies ![In: International Conference on Computer Graphics and Interactive Techniques, SIGGRAPH ASIA 2009, Yokohama, Japan, December 16-19, 2009, Art Gallery & Emerging Technologies: Adaptation, pp. 46, 2009, ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Patrick Henrique da S. Brito, Rogério de Lemos, Cecília M. F. Rubira |
Verification of Exception Control Flows and Handlers Based on Architectural Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, pp. 177-186, 2008, IEEE Computer Society, 978-0-7695-3482-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Stephan Korsholm, Martin Schoeberl, Anders P. Ravn |
Interrupt Handlers in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 453-457, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Oliver Kasten, Kay Römer |
Beyond event handlers: programming wireless sensors with attributed state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, IPSN 2005, April 25-27, 2005, UCLA, Los Angeles, California, USA, pp. 45-52, 2005, IEEE, 0-7803-9202-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Lukasz Dutka, Jacek Kitowski |
Application of Component-Expert Technology for Selection of Data-Handlers in CrossGrid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 9th European PVM/MPI Users' Group Meeting, Linz, Austria, September 29 - October 2, 2002, Proceedings, pp. 25-32, 2002, Springer, 3-540-44296-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Aamer Jaleel, Bruce L. Jacob |
Improving the Precise Interrupt Mechanism of Software-Managed TLB Miss Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2001, 8th International Conference, Hyderabad, India, December, 17-20, 2001, Proceedings, pp. 282-293, 2001, Springer, 3-540-43009-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek |
ASHs: Application-Specific Handlers for High-Performance Messaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 1996 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, Stanford, CA, USA, August 26-30, 1996, pp. 40-52, 1996, ACM, 0-89791-790-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
33 | R. Govindarajan |
Exception Handlers in Functional Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(8), pp. 826-834, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
resume, input object, implementation restriction, referential transparency, commutativity properties, functional programming, functional programming, exception handling, exception handling, terminate, programming theory, functional languages, high level languages, programmer |
26 | Eun-Sun Cho, Sumi Helal |
A Situation-Based Exception Detection Mechanism for Safety in Pervasive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT ![In: 11th Annual International Symposium on Applications and the Internet, SAINT 2011, Munich, Germany, 18-21 July, 2011, Proceedings, pp. 196-201, 2011, IEEE Computer Society, 978-1-4577-0531-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
exception handlers, programming models for pervasive systems, pervasive computing, contexts, safety, exceptions, situations |
26 | Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting |
Profile-Directed Optimization of Event-Based Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002, pp. 106-116, 2002, ACM, 1-58113-463-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
handlers, profiling, events |
26 | Nina T. Bhatti, Matti A. Hiltunen, Richard D. Schlichting, Wanda Chiu |
Coyote: A System for Constructing Fine-Grain Configurable Communication Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 16(4), pp. 321-366, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
x-kernal, configurable sevices, event handlers, event-driven execution, microprotocols, mobile computing, protocols, multicast, modularity, customization, remote procedure call, membership |
26 | Mayan Moudgill, Stamatis Vassiliadis |
Precise Interrupts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 16(1), pp. 58-67, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
interrupt handlers, out-of-order issue processors, instruction level parallel processors, pipelining, exceptions, superscalar processors, traps, precise interrupts |
26 | Christoph F. Eick, Paul Werstein |
Rule-Based Consistency Enforcement for Knowledge-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(1), pp. 52-64, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
rule-based consistency enforcement, exception handlers, consistency constraints, rule entities, activation pattern controlled rule, data integrity, knowledge-based systems, knowledge based systems, system performance, consistency checks, application programs, production rule, forward chaining, knowledge-base management system |
23 | Olatunji Ruwase, Shimin Chen, Phillip B. Gibbons, Todd C. Mowry |
Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 25-35, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
dynamic code optimization, dynamic correctness checking, dynamic program analysis |
23 | Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl |
Exhaustive testing of safety critical Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010, pp. 164-174, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
SCJ, model checking, real-time Java, Java PathFinder |
23 | Scott McMaster, Atif M. Memon |
Call-Stack Coverage for GUI Test Suite Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 34(1), pp. 99-115, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Test coverage of code, Testing tools, Testing strategies, Test management |
23 | Ivo Augusto Bertoncello, Marcelo Oliveira Dias, Patrick H. S. Brito, Cecília M. F. Rubira |
Explicit exception handling variability in component-based product line architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Exception Handling ![In: Proceedings of the 4th International Workshop on Exception Handling, WEH 2008, Atlanta, Georgia, USA, November 14, 2008, pp. 47-54, 2008, ACM, 978-1-60558-229-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
exceptional behaviour, software architecture, exception handling, component-based software development |
23 | Christos Kareliotis, Costas Vassilakis, Stathis Rouvas, Panagiotis Georgiadis 0001 |
Exception resolution for BPEL processes: a middleware-based framework and performance evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2008 - The Tenth International Conference on Information Integration and Web-based Applications Services, 24-26 November 2008, Linz, Austria, pp. 248-256, 2008, ACM, 978-1-60558-349-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
quality of service (QoS), web services, scalability, middleware, exception handling, performance metrics |
23 | Eyas El-Qawasmeh, Václav Snásel, Pit Pichappan |
Reshaping email relationships. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDIM ![In: Third IEEE International Conference on Digital Information Management (ICDIM), November 13-16, 2008, London, UK, Proceedings, pp. 304-307, 2008, IEEE, 978-1-4244-2917-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Mati Golani, Avigdor Gal, Eran Toch |
Modeling Alternatives in Exception Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers, pp. 54-65, 2007, Springer, 978-3-540-78237-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Na Liu 0001, John G. Hosking, John C. Grundy |
MaramaTatau: Extending a Domain Specific Visual Language Meta Tool with a Declarative Constraint Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 23-27 September 2007, Coeur d'Alene, Idaho, USA, pp. 95-103, 2007, IEEE Computer Society, 978-0-7695-2987-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
visual constraint language, visual language metatool |
23 | Yui-Liang Chen, Yen-Yu Chen, Monica Shao |
2005 accessibility diagnosis on the government web sites in Taiwan, R.O.C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W4A ![In: Proceedings of the 2006 International Cross-Disciplinary Workshop on Web Accessibility (W4A 2006): Building the mobile web: rediscovering accessibility? Edinburgh, UK, May 22, 2006, pp. 132-142, 2006, ACM, 1-59593-281-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
accessible checkpoint, accessible examination, accessible examining system, accessible website, accessibility |
23 | Mati Golani, Avigdor Gal |
Optimizing Exception Handling in Workflows Using Process Restructuring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management ![In: Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings, pp. 407-413, 2006, Springer, 3-540-38901-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Scott McMaster, Atif M. Memon |
Call Stack Coverage for GUI Test-Suite Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 7-10 November 2006, Raleigh, North Carolina, USA, pp. 33-44, 2006, IEEE Computer Society, 0-7695-2684-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Eric Wohlstadter, Kris De Volder |
Doxpects: aspects supporting XML transformation interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 5th International Conference on Aspect-Oriented Software Development, AOSD 2006, Bonn, Germany, March 20-24, 2006, pp. 99-108, 2006, ACM, 1-59593-300-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Saisanthosh Balakrishnan, Gurindar S. Sohi |
Program Demultiplexing: Data-flow based Speculative Parallelization of Methods in Sequential Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 33rd International Symposium on Computer Architecture (ISCA 2006), June 17-21, 2006, Boston, MA, USA, pp. 302-313, 2006, IEEE Computer Society, 0-7695-2608-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Christian Poellabauer, Karsten Schwan |
Flexible cross-domain event delivery for quality-managed multimedia applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Multim. Comput. Commun. Appl. ![In: ACM Trans. Multim. Comput. Commun. Appl. 1(3), pp. 248-268, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Event delivery, real-time events, quality-of-service, operating system, quality management, dynamic code generation |
23 | Girish Chafle, Sunil Chandra, Pankaj Kankar, Vijay Mann |
Handling Faults in Decentralized Orchestration of Composite Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings, pp. 410-423, 2005, Springer, 3-540-30817-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Linas Laibinis, Elena Troubitsyna |
Formal Development of Reactive Fault Tolerant Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISE ![In: Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers, pp. 234-249, 2005, Springer, 3-540-34063-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Chen Fu, Barbara G. Ryder |
Navigating error recovery code in Java applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eTX ![In: Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, ETX 2005, San Diego, California, USA, October 16-17, 2005, pp. 40-44, 2005, ACM, 1-59593-342-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Ashok U. Mallya, Munindar P. Singh |
Modeling exceptions via commitment protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 122-129, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
agents, multiagent systems, exception handling, commitments |
23 | Gertrude Neuman Levine |
Defining deadlock. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 37(1), pp. 54-64, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Zeng Fancong |
Deadlock Resolution via Exceptions for Dependable Java Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings, pp. 731-740, 2003, IEEE Computer Society, 0-7695-1952-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao 0002, Thomas A. Henzinger, Jens Palsberg |
Stack Size Analysis for Interrupt-Driven Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings, pp. 109-126, 2003, Springer, 3-540-40325-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Mauricio Cortes, J. Robert Ensor |
Narnia: A Virtual Machine for Multimedia Communication Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMSE ![In: 4th International Symposium on Multimedia Software Engineering, ISMSE 2002, Newport Beach, CA, USA, December 11-13, 2002, pp. 246-254, 2002, IEEE Computer Society, 0-7695-1857-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
enhanced chat room, Session Initiation Protocol (SIP), performance measurements, events, roles, sessions, Distributed multimedia applications |
23 | ByungHoon Kang, Robert Wilensky |
Toward a model of self-administering data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2001, Roanoke, Virginia, USA, June 24-28, 2001, Proceedings, pp. 322-330, 2001, ACM, 1-58113-345-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
asynchonous collaboration, data access model, scalable update propagation, self-administering data, peer to peer, data management, file sharing, distributed file system |
23 | Dickson K. W. Chiu, Qing Li 0001, Kamalakar Karlapalem |
ADOME-WFMS: Towards Cooperative Handling of Workflow Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Exception Handling Techniques ![In: Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop), pp. 271-288, 2000, Springer, 3-540-41952-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Camil Demetrescu, Irene Finocchi, Giuseppe Liotta |
Visualizing Algorithms over the Web with the Publication-Driven Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAE ![In: Algorithm Engineering, 4th International Workshop, WAE 2000, Saarbrücken, Germany, September 5-8, 2000, Proceedings, pp. 147-158, 2000, Springer, 3-540-42512-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Lance Hammond, Mark Willey, Kunle Olukotun |
Data Speculation Support for a Chip Multiprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-VIII Proceedings of the 8th International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, California, USA, October 3-7, 1998., pp. 58-69, 1998, ACM Press, 1-58113-107-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Magnus Karlsson 0002, Per Stenström |
Performance Evaluation of a Cluster-Based Multiprocessor Built from ATM Switches and Bus-Based Multiprocessor Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: Proceedings of the Second International Symposium on High-Performance Computer Architecture, San Jose, CA, USA, February 3-7, 1996, pp. 4-13, 1996, IEEE Computer Society, 0-8186-7237-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | R. Mahesh K. Sinha, Birendra Prasada, Gilles F. Houle, Michael Sabourin |
Hybrid Contextural Text Recognition with String Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(9), pp. 915-925, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
progressive recognition, transient statistical information, hybrid contextural algorithm, real-life documents, character hypothesis, word hypothesis, dynamic contour warping classifier, transient dictionary, modified Viterbi algorithm, optical character recognition, document image processing, string matching, text recognition, hypothesis verification |
23 | Qian Cui, John D. Gannon |
Data-Oriented Exception Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(5), pp. 393-401, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
normal algorithmic processing, error processing, control features, source text, data-oriented exception handling, data structures, Ada, programming, programming languages, declarations, data objects, Ada programs |
21 | Fuga Kawamata, Hiroshi Unno 0001, Taro Sekiyama, Tachio Terauchi |
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 8(POPL), pp. 115-147, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Daniel Hillerström, Sam Lindley, John Longley |
Asymptotic speedup via effect handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 34, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara |
An Intrinsically Typed Compiler for Algebraic Effect Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024, pp. 134-145, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley |
Continuing WebAssembly with Effect Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(OOPSLA2), pp. 460-485, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Marius Müller 0003, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, Jonathan Immanuel Brachthäuser |
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(OOPSLA2), pp. 941-970, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Filip Sieczkowski, Mateusz Pyzik, Dariusz Biernacki |
A General Fine-Grained Reduction Theory for Effect Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(ICFP), pp. 511-540, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Max S. New, Eric Giovannini, Daniel R. Licata |
Gradual Typing for Effect Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(OOPSLA2), pp. 1758-1786, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Max S. New, Eric Giovannini, Daniel R. Licata |
Gradual Typing for Effect Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.02145, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay |
Effects and Effect Handlers for Programmable Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.01328, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley |
Continuing WebAssembly with Effect Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.08347, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Tiago Soares, Mário Pereira |
A Framework for the Automated Verification of Algebraic Effects and Handlers (extended version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.01265, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Birthe van den Berg, Tom Schrijvers |
A Framework for Higher-Order Effects & Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.01415, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Roger Bosman, Birthe van den Berg, Wenhao Tang, Tom Schrijvers |
A Calculus for Scoped Effects & Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.09697, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Fuga Kawamata, Hiroshi Unno 0001, Taro Sekiyama, Tachio Terauchi |
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.15463, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Youyou Cong, Kenichi Asai |
Towards a Reflection for Effect Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM@POPL ![In: Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, Boston, MA, USA, January 16-17, 2023, pp. 55-65, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Terran Mott, Tom Williams 0001 |
How Can Dog Handlers Help Us Understand the Future of Wilderness Search & Rescue Robots? ![Search on Bibsonomy](Pics/bibsonomy.png) |
RO-MAN ![In: 32nd IEEE International Conference on Robot and Human Interactive Communication, RO-MAN 2023, Busan, Republic of Korea, August 28-31, 2023, pp. 1315-1322, 2023, IEEE, 979-8-3503-3670-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Wanhong Huang 0001, Stefan Marr, Tomoharu Ugawa |
Optimizing the Order of Bytecode Handlers in Interpreters using a Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023, pp. 1384-1393, 2023, ACM, 978-1-4503-9517-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Paulo Emílio de Vilhena, François Pottier |
A Type System for Effect Handlers and Dynamic Labels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, pp. 225-252, 2023, Springer, 978-3-031-30043-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Pingshi Yu |
Reasoning about MLIR Semantics through Effects and Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, pp. 1552-1554, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara |
Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023, pp. 4:1-4:13, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay |
Effect Handlers for Programmable Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023, pp. 44-58, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Ningning Xie, Youyou Cong, Kazuki Ikemori, Daan Leijen |
First-class names for effect handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(OOPSLA2), pp. 30-59, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Dan R. Ghica, Sam Lindley, Marcos Maroñas Bravo, Maciej Piróg |
High-level effect handlers in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(OOPSLA2), pp. 1639-1667, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Takahiro Sanada |
Category-Graded Algebraic Theories and Effect Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXXVIII, Cornell University, Ithaca, NY, USA, with a satellite event at IRIF, Denis Diderot University, Paris, France, and online, July 11-13, 2022, 2022, EpiSciences. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 373 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|