Philip Wadler - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged exceptions

Proceedings of the 4th International Workshop on Exception Handling, WEH 2008, Atlanta, Georgia, USA, November 14, 2008ACM, 2008.

Enhanced OSGi Bundle Updates to Prevent Runtime ExceptionsPremek Brada. seaa 2008: 92-99 [doi]

Exception Resolution Service for RBAC systemsR. Wei, K. Wu. cscwd 2007: 840-845 [doi]

On Exceptions, Exception Handling, Requirements and Software LifecycleAlexander Romanovsky. hase 2007: 301 [doi]

Stayin alert: moulding failure and exceptions to your needsAnya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg. GPCE 2006: 265-274 [doi]

Errors and Exceptions - Rights and ObligationsJohannes Siedersleben. ecoopwException 2006: 275-287 [doi]

An intuitionistic [lambda]-calculus with exceptionsRené David, Georges Mounier. JFP, 15(1):33-52, 2005. [doi]

An Exception Handling Mechanism for the Concurrent Invocation StatementHiu Ning (Angela) Chan, Esteban Pauli, Billy Yan-Kit Man, Aaron W. Keen, Ronald A. Olsson. europar 2005: 699-709 [doi]

Exceptions and side-effects in atomic blocksTim Harris. SCP, 58(3):325-343, 2005. [doi]

Distributed Exception Handling: Ideas, Lessons and Issues with Recent Exception Handling SystemsAurélien Campéas, Christophe Dony, Christelle Urtado, Sylvain Vauttier. rise 2005: 82-92 [doi]

Self-Emancipation Proclamation and a light-hearted but nevertheless deeply-felt exceptionManfred Bonitz. scientometrics, 60(1):19-24, 2004. [doi]

A Mechanism for Implementing Precise Exceptions in Pipelined ProcessorsSoyeb Alli, Chris Bailey. dsdm 2004: 598-602 [doi]

CMEH: Container Managed Exception Handling for Increased Assembly RobustnessKevin Simons, Judith A. Stafford. cbse 2004: 122-129 [doi]

About the Fusion of Legal Knowledge with ExceptionsÉric Grégoire. icail 2003: 91-92

Disjunctive normal forms and local exceptionsEmmanuel Beffara, Vincent Danos. ICFP 2003: 203-211 [doi]

Improving Exception Handling in Multi-agent SystemsFrédéric Souchon, Christophe Dony, Christelle Urtado, Sylvain Vauttier. selmas 2004: 167-188 [doi]

Exception Handling during Asynchronous Method Invocation (Research Note)Aaron W. Keen, Ronald A. Olsson. europar 2002: 656-660 [doi]

The Guardian Model for Exception Handling in Distributed SystemsRobert Miller, Anand R. Tripathi. srds 2002: 304 [doi]

Adaptive Exception Monitoring Agents for Management by ExceptionsRey-Long Liu, Meng-Jung Shih, Yu-Fen Kao. aai, 15(4):397-418, 2001.

On Exceptions Versus Continuations in the Presence of StateHayo Thielecke. ESOP 2000: 397-411 [doi]

A single intermediate language that supports multiple implementations of exceptionsNorman Ramsey, Simon L. Peyton Jones. PLDI 2000: 285-298 [doi]

Portable Implementation of Continuation Operators in Imperative Languages by Exception HandlingTatsurou Sekiguchi, Takahiro Sakamoto, Akinori Yonezawa. ecoopwException 2001: 217-233 [doi]

Imprecise Exceptions, Co-InductivelyAndrew Moran, Søren B. Lassen, Simon L. Peyton Jones. ENTCS, 26:122-141, 1999. [doi]

Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order FunctionsNorman Ramsey. cj, 42(5):360-372, 1999.

The Use of ExceptionsDavid M. Papurt. joop, 11(2):13, 1998.

Knowledge Intensive Exception SpacesSarabjot S. Anand, David W. Patterson, John G. Hughes. AAAI 1998: 574-579

Exceptions Considered HarmlessJean-François Monin. SCP, 26(1-3):179-196, 1996.

Un système de contrôle de l activité de transactions basé sur des exceptionsBruno Defude, Hervé Martin, Anne Picault. bda 1995: 207

Constructing a Program with ExceptionsK. Rustan M. Leino. ipl, 53(3):159-163, 1995. [doi]

Observations on Program-Wide Ada Exception PropagationPeter T. Brennan. sigada 1993: 189-195 [doi]

Inheritance systems with exceptionsMartine Magnan, Mourad Chabane Oussalah. air, 7(6):421-443, 1993. [doi]

Use and Abuse of Exceptions - 12 Guidelines for Proper Exception HandlingJürgen Schwille. Ada-Europe 1993: 141-152

Performance Management by ExceptionWayne Morris. cmg 1992: 752-759

A Method for the Management of Exceptions in Multiple Inheritance SystemsChabane Oussalah, Martine Magnan, L. Torrès. ictai 1992: 222-229

Single-Exception Sorting Networks and the Computational Complexity of Optimal Sorting Network VerificationIan Parberry. mst, 23(2):81-93, 1990.

A Functional Theory of ExceptionsJ. Michael Spivey. SCP, 14(1):25-42, 1990.

An Exception Handling Mechanism for SRDaniel T. Huang, Ronald A. Olsson. Comp. Lang., Syst. \& Struct., 15(3):163-176, 1990.

Exception Handling in RT-CDLLeo Yuhsiang Liu, R. K. Shyamasundar. Comp. Lang., Syst. \& Struct., 15(3):177-192, 1990.

The Hoare-Like Verification System for a Language with an Exception Handling MechanismDanuta Szczepanska. mfcs 1989: 511-522

Exception Handling and Real Time Features in an Object-Oriented Concurrent LanguageYuuji Ichisugi, Akinori Yonezawa. concur 1991: 92-109

The Mach Exception Handling FaciltyDavid L. Black, David B. Golub, Karl Hauth, Avadis Tevanian, Richard Sanzi. pdd 1988: 45-56

Abstract Implementation with Exception HandlingGilles Bernot. adt 1986:

How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languagesPhilip Wadler. fpca 1985: 113-128

Exception Handling in MultilispRobert H. Halstead Jr., Juan R. Loaiza. icpp 1985: 822-830

Exceptions and Interrupts in CSPTrevor I. Dix. SCP, 3(2):189-204, 1983.

On Inheritance Hierarchies With ExceptionsDavid W. Etherington, Raymond Reiter. AAAI 1983: 104-108

An Axiomatic Treatment of Exception HandlingShaula Yemini. POPL 1982: 281-288

Horizontal Decompositions for Handling Exceptions to Functional DependenciesPaul De Bra, Jan Paredaens. adbt 1982: 123-141

Exception Handling with Multi-Exit StatementsRalph-Johan Back. programmier 1980: 71-82

Exception Handling in CLUBarbara Liskov, Alan Snyder. TSE, 5(6):546-558, 1979.

runs on WebDSL