exception

---

exception

Tag #exception

172 papers:

ICSME-2019-NguyenVN19a #recommendation

Recommending Exception Handling Code (TN, PV, TN), pp. 390–393.

SANER-2019-MeloCT #developer #guidelines #java

Unveiling Exception Handling Guidelines Adopted by Java Developers (HM, RC, CT), pp. 128–139.

SCAM-2019-BradleyG #c++ #case study #open source

A Study on the Effects of Exception Usage in Open-Source C++ Systems (KB, MG), pp. 1–11.

PPDP-2019-Bakel #logic

Exception Handling and Classical Logic (SvB), p. 14.

ASE-2019-Laguna #detection #float #gpu #named

FPChecker: Detecting Floating-Point Exceptions in GPU Applications (IL), pp. 1126–1129.

CC-2019-RenwickSF #c++ #embedded #low cost

Low-cost deterministic C++ exceptions for embedded systems (JR, TS, BF), pp. 76–86.

MSR-2018-PaduaS08 #fault

Studying the relationship between exception handling practices and post-release defects (GBdP, WS), pp. 564–575.

SANER-2018-MontenegroMCB #developer #policy

Improving developers awareness of the exception handling policy (TM, HM, RC, EB), pp. 413–422.

SEFM-2018-DinSC #using #verification

Program Verification for Exception Handling on Active Objects Using Futures (CCD, RS, TCC), pp. 73–88.

ICSE-2018-BarbosaG #recommendation

Global-aware recommendations for repairing violations in exception handling (EAB, AG), p. 858.

ICSE-2018-FanSCMLXPS #analysis #android #scalability

Large-scale analysis of framework-specific exceptions in Android apps (LF, TS, SC, GM, YL0, LX, GP, ZS), pp. 408–419.

ECSA-2017-FilhoRAB #architecture #consistency #design #using

Preventing Erosion in Exception Handling Design Using Static-Architecture Conformance Checking (JLMF, LSR, RMCA, RB), pp. 67–83.

ICPC-2017-PaduaS #anti

Studying the prevalence of exception handling anti-patterns (GBdP, WS), pp. 328–331.

ICSME-2017-CokerDGKSP #behaviour #metric

Behavior Metrics for Prioritizing Investigations of Exceptions (ZC, KD, CLG, NAK, DCS, LLP), pp. 554–563.

MSR-2017-OsmanCCGN #evolution #java

Exception evolution in long-lived Java systems (HO, AC, CC, MG, ON), pp. 302–311.

SANER-2017-DurieuxCSM #generative #metaprogramming #null #pointer #using

Dynamic patch generation for null pointer exceptions using metaprogramming (TD, BC, LS, MM), pp. 349–358.

SANER-2017-NogueiraRZ #java #library #open source #roadmap

Trends on empty exception handlers for Java open source libraries (AFN, JCBR, MAZR), pp. 412–416.

SANER-2017-OsmanCSGN #evolution #java #on the

On the evolution of exception usage in Java projects (HO, AC, JS, MG, ON), pp. 422–426.

SCAM-2017-PaduaS #analysis

Revisiting Exception Handling Practices with Exception Flow Analysis (GBdP, WS), pp. 11–20.

ICSE-2017-VendomeVBPGP #detection #machine learning #open source

Machine learning-based detection of open source license exceptions (CV, MLV, GB, MDP, DMG, DP), pp. 118–129.

MSR-2016-AsaduzzamanARS #developer #how #java #question

How developers use exception handling in Java? (MA, MA, CKR, KAS), pp. 516–519.

MSR-2016-KeryGM

Examining programmer practices for locally handling exceptions (MBK, CLG, BAM), pp. 484–487.

MSR-2016-NakshatriHT #analysis #empirical #java

Analysis of exception handling patterns in Java projects: an empirical study (SN, MH, ST), pp. 500–503.

MSR-2016-SenaCKB #comprehension #empirical #java #library

Understanding the exception handling strategies of Java libraries: an empirical study (DS, RC, UK, RB), pp. 212–222.

PLDI-2016-ZhangSBLM

Accepting blame for safe tunneled exceptions (YZ, GS, QB, BL, ACM), pp. 281–295.

ICPC-2015-AmintabarHG #development #ide #named #recommendation

ExceptionTracer: a solution recommender for exceptions in an integrated development environment (VA, AH, MG), pp. 299–302.

MSR-2015-CoelhoAGD #android #debugging #git

Unveiling Exception Handling Bug Hazards in Android Based on GitHub and Google Code Issues (RC, LA, GG, AvD), pp. 134–145.

SCAM-2015-BonifacioCRKC #c++ #using

The use of C++ exception handling constructs: A comprehensive study (RB, FC, GNR, UK, RC), pp. 21–30.

SEKE-2015-AbrantesC #monitoring #policy #specification

Specifying and Dynamically Monitoring the Exception Handling Policy (JA, RC), pp. 370–374.

SEKE-2015-ElerDE #execution #generative #symbolic computation #testing

Analyzing Exceptions in the Context of Test Data Generation Based on Symbolic Execution (MME, VHSD, ATE), pp. 346–351.

ECOOP-2015-BhandariN

Loop Tiling in the Presence of Exceptions (AB, VKN), pp. 124–148.

OOPSLA-2015-BiswasZBL #named #performance

Valor: efficient, software-only region conflict exceptions (SB, MZ, MDB, BL), pp. 241–259.

PEPM-2015-KootH #analysis #functional #higher-order #semantics #strict #type system

Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics (RK, JH), pp. 127–138.

SAC-2015-SenaCK #product line

An investigation on the evolutionary nature of exception handling violations in software product lines (DS, RC, UK), pp. 1616–1623.

CSMR-WCRE-2014-RahmanYR #fault #ide #programming #recommendation #towards

Towards a context-aware IDE-based meta search engine for recommendation about programming errors and exceptions (MMR, SY, CKR), pp. 194–203.

ICSME-2014-CachoBAPGCSCFG #behaviour #c# #case study #how #java

How Does Exception Handling Behavior Evolve? An Exploratory Study in Java and C# Applications (NC, EAB, JA, FP, AFG, TC, ES, AC, TF, IG), pp. 31–40.

MSR-2014-KechagiaS

Undocumented and unchecked: exceptions that spell trouble (MK, DS), pp. 312–315.

SCAM-2014-LiangSMKH #analysis #automaton

Pruning, Pushdown Exception-Flow Analysis (SL, WS, MM, AWK, DVH), pp. 265–274.

SCAM-2014-RahmanR14a #on the #recommendation #using

On the Use of Context in Recommending Exception Handling Code Examples (MMR, CKR), pp. 285–294.

EDOC-2014-RitterS #integration #modelling

Modeling Exception Flows in Integration Systems (DR, JS), pp. 12–21.

PPDP-J-2012-JaksicP14

Exception handling for copyless messaging (SJ, LP), pp. 22–51.

RE-2014-CailliauL #modelling

Integrating exception handling in goal models (AC, AvL), pp. 43–52.

DATE-2014-DweikAD #array #fault

Reliability-Aware Exceptions: Tolerating intermittent faults in microprocessor array structures (WD, MA, MD), pp. 1–6.

FoSSaCS-2014-MurawskiT #game studies #semantics

Game Semantics for Nominal Exceptions (ASM, NT), pp. 164–179.

ISSTA-2014-ZhangC #automation #detection #information management #lightweight

Lightweight automated detection of unsafe information leakage via exceptions (BZ, JC), pp. 327–338.

ICSM-2013-EbertC #case study #debugging #developer

A Study on Developers’ Perceptions about Exception Handling Bugs (FE, FC), pp. 448–451.

ICEIS-v1-2013-LiuDH #assessment #detection #risk management

Detecting and Explaining Business Exceptions for Risk Assessment (LL, HAMD, WH), pp. 530–535.

SEKE-2013-CarvalhoNM #testing

Structural Testing of Exceptions Handling (LAFC, VdON, PCM), pp. 206–209.

POPL-2013-BarrVLS #automation #detection #float

Automatic detection of floating-point exceptions (ETB, TV, VL, ZS), pp. 549–560.

SAC-2013-DionisisCP #adaptation #framework

An integrated framework for QoS-based adaptation and exception resolution in WS-BPEL scenarios (MD, VC, GP), pp. 1900–1906.

SAC-2013-SilvaC #interface #java

New exception interfaces for Java-like languages (TBLS, FC), pp. 1661–1666.

CC-2013-KastrinisS #analysis #effectiveness #java #performance #points-to

Efficient and Effective Handling of Exceptions in Java Points-to Analysis (GK, YS), pp. 41–60.

SEFM-2012-AmighiGGH #control flow #graph #java #source code

Sound Control-Flow Graph Extraction for Java Programs with Exceptions (AA, PdCG, DG, MH), pp. 33–47.

PPDP-2012-JaksicP

Exception handling for copyless messaging (SJ, LP), pp. 151–162.

ICSE-2012-ZhangE #testing #validation

Amplifying tests to validate exception handling code (PZ, SGE), pp. 595–605.

CBSE-2011-HuangW #architecture #component #towards

Towards architecture-level middleware-enabled exception handling of component-based systems (GH, YW), pp. 159–168.

ECOOP-2011-HarmanciGF #coordination #memory management #transaction

Atomic Boxes: Coordinated Exception Handling with Transactional Memory (DH, VG, PF), pp. 634–657.

ECOOP-2011-PrabhuMBIG #analysis #c++ #interprocedural

Interprocedural Exception Analysis for C++ (PP, NM, GB, FI, AG), pp. 583–608.

OOPSLA-2011-LiT #interface #java #named

JET: exception checking in the Java native interface (SL, GT), pp. 345–358.

ASPLOS-2011-SinghMNMM #memory management #performance

Efficient processor support for DRFx, a memory model with exceptions (AS, DM, SN, TDM, MM), pp. 53–66.

ICST-2011-RomanoPA #approach #null #pointer #testing

An Approach for Search Based Testing of Null Pointer Exceptions (DR, MDP, GA), pp. 160–169.

ICEIS-AIDSS-2010-AldeebPCS #metric #similarity #workflow

Sentence Similarity Measures to Support Workflow Exception Handling (AA, DMP, KAC, MJS), pp. 256–263.

SEKE-2010-Nehmer #approach #consistency

A Log-Assisted Approach Enforcing Consistency in the Presence of Exceptions (NN), pp. 757–764.

PADL-2010-Iborra #haskell

Explicitly Typed Exceptions for Haskell (JI), pp. 43–57.

SFM-2009-CarboneYH #interactive #multi

Asynchronous Session Types: Exceptions and Multiparty Interactions (MC, NY, KH), pp. 187–212.

ECOOP-2009-JacobsP #named

Failboxes: Provably Safe Exception Handling (BJ, FP), pp. 470–494.

LOPSTR-2009-Nishimura #logic

Refining Exceptions in Four-Valued Logic (SN), pp. 113–127.

PEPM-2009-DavidGC #calculus #optimisation

Translation and optimization for a core calculus with exceptions (CD, CG, WNC), pp. 41–50.

ISSTA-2009-BravenboerS #analysis #points-to

Exception analysis and points-to analysis: better together (MB, YS), pp. 1–12.

ISSTA-2009-SinhaSGJKH #fault #java #locality #runtime

Fault localization and repair for Java runtime exceptions (SS, HS, CG, SJ, MK, MJH), pp. 153–164.

CSMR-2008-Bruntink #c #legacy #re-engineering

Reengineering Idiomatic Exception Handling in Legacy C Code (MB), pp. 133–142.

ICALP-B-2008-Lebresne #call-by #system f

A System F with Call-by-Name Exceptions (SL), pp. 323–335.

SOFTVIS-2008-ShahGH #comprehension #visualisation

Visualization of exception handling constructs to support program understanding (HS, CG, MJH), pp. 19–28.

ECOOP-2008-CoelhoRGFCKSL #aspect-oriented #case study #impact analysis

Assessing the Impact of Aspects on Exception Flows: An Exploratory Study (RC, AR, AG, FCF, NC, UK, AvS, CJPdL), pp. 207–234.

ASE-2008-CabralM #automation

A Case for Automatic Exception Handling (BC, PM), pp. 403–406.

SAC-2008-PereiraM #architecture #coordination

A formal architectural model for exception handling coordination (DPP, ACVdM), pp. 114–118.

CGO-2008-SundaresanSR

Removing redundancy via exception check motion (VS, MGS, PR), pp. 134–143.

ISSTA-2008-BuseW08a #automation #documentation

Automatic documentation inference for exceptions (RPLB, WW), pp. 273–282.

SEFM-2007-JacobsMP #reasoning

Sound reasoning about unchecked exceptions (BJ, PM, FP), pp. 113–122.

ICEIS-EIS-2007-AldeebCS #adaptation #flexibility #workflow

An Adaptive P2P Workflow Management System — Flexibility and Exception Handling Support in P2P Based Workflow (AA, KAC, MJS), pp. 428–433.

ECOOP-2007-CabralM #case study #dot-net #java

Exception Handling: A Field Study in Java and .NET (BC, PM), pp. 151–175.

ICSE-2007-FuR #analysis #architecture #java

Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications (CF, BGR), pp. 230–239.

SAC-2007-MouraoA #effectiveness #workflow

Supporting effective unexpected exceptions handling in workflow management systems (HM, PA), pp. 1242–1249.

DAC-2007-GoswamiTKR #constraints #generative #testing

Test Generation in the Presence of Timing Exceptions and Constraints (DG, KHT, MK, JR), pp. 688–693.

FM-2006-LiHR #automation #safety #towards #verification

Towards Automatic Exception Safety Verification (XL, HJH, PR), pp. 396–411.

Haskell-2006-Marlow #dynamic typing

An extensible dynamically-typed hierarchy of exceptions (SM), pp. 96–106.

CAiSE-2006-RinderleR #data-driven #process

Data-Driven Process Control and Exception Handling in Process Management Systems (SR, MR), pp. 273–287.

CAiSE-2006-RussellAH #workflow

Workflow Exception Patterns (NR, WMPvdA, AHMtH), pp. 288–302.

EDOC-2006-EntwisleSPK #framework #modelling #reliability

A Model Driven Exception Management Framework for Developing Reliable Software Systems (SE, HWS, IDP, EAK), pp. 307–318.

PEPM-2006-IwamaIK #analysis #functional #resource management

Resource usage analysis for a functional language with exceptions (FI, AI, NK), pp. 38–47.

FSE-2006-FilhoCFMGR #aspect-oriented

Exceptions and aspects: the devil is in the details (FCF, NC, EF, RM, AG, CMFR), pp. 152–162.

ICSE-2006-BruntinkDT #fault

Discovering faults in idiom-based exception handling (MB, AvD, TT), pp. 242–251.

ICSE-2006-HanTS #workflow

Managing exceptions in the medical workflow systems (MH, TT, XS), pp. 741–750.

SAC-2006-FilhoRR #coordination #verification

Verification of coordinated exception handling (FCF, AR, CMFR), pp. 680–685.

GPCE-2006-BaggeDHK

Stayin’ Alert: Moulding Failure and Exceptions to Your Needs (AHB, VD, MH, KTK), pp. 265–274.

CASE-2006-ViswanadhamPG #process

Decision Support System for Exception Management in RFID Enabled Airline Baggage Handling Process (NV, AP, RSG), pp. 351–356.

PDP-2006-GhafoorYDM #calculus #protocol

p_RBT-calculus Compensation and Exception Handling Protocol (AGM, JY, JD, MMuR), pp. 39–47.

OOPSLA-2005-DoorenS #flexibility #robust #using

Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations (MvD, ES), pp. 455–471.

CGO-2005-OdairaH #dependence

Sentinel PRE: Hoisting beyond Exception Dependency with Dynamic Deoptimization (RO, KH), pp. 328–338.

CBSE-2004-SimonsS #assembly #named #robust

CMEH: Container Managed Exception Handling for Increased Assembly Robustness (KS, JAS), pp. 122–129.

SEFM-2004-LeinoS #c# #safety

Exception Safety for C# (KRML, WS), pp. 218–227.

ICFP-2003-BeffaraD #normalisation

Disjunctive normal forms and local exceptions (EB, VD), pp. 203–211.

PEPM-2003-AllenH #java #slicing #source code

Slicing java programs that throw and catch exceptions (MA, SH), pp. 44–54.

ASE-2003-EllisI #automation #proving

Automation for Exception Freedom Proofs (BJE, AI), pp. 343–346.

ASE-2003-MayerS #debugging #source code

Extending Diagnosis to Debug Programs with Exceptions (WM, MS), pp. 240–244.

SCAM-2002-ChangJH #java #static analysis #using #visualisation

Visualization of Exception Propagation for Java Using Static Analysis (BMC, JWJ, SHH), p. 173–?.

RTA-2002-FaureK #calculus

Exceptions in the Rewriting Calculus (GF, CK), pp. 66–82.

ICFP-2002-GlynnSSS #analysis #strict

Exception analysis for non-strict languages (KG, PJS, MS, HS), pp. 98–109.

SIGAda-2002-AmeyC #industrial

Industrial strength exception freedom (PA, RC), pp. 1–9.

CC-2002-GschwindA #compilation #precise #semantics

Precise Exception Semantics in Dynamic Compilation (MG, ERA), pp. 95–110.

ESOP-2002-Laird #continuation

Exceptions, Continuations and Macro-expressiveness (JL), pp. 133–146.

VLDB-2001-CasatiDGS #comprehension #predict #process #quality

Improving Business Process Quality through Exception Understanding, Prediction, and Prevention (DG, FC, UD, MCS), pp. 159–168.

FLOPS-2001-PolakovY #framework #logic #order #proving

Proving Syntactic Properties of Exceptions in an Ordered Logical Framework (JP, KY), pp. 61–77.

OOPSLA-2001-AnconaLZ #calculus #java

A Core Calculus for Java Exceptions (DA, GL, EZ), pp. 16–30.

OOPSLA-2001-OgasawaraKN #case study #java #optimisation

A Study of Exception Handling and Its Dynamic Optimization in Java (TO, HK, TN), pp. 83–95.

PLDI-2001-MarlowJMR #haskell

Asynchronous Exceptions in Haskell (SM, SLPJ, AM, JHR), pp. 274–285.

SAC-2001-ChangJYC #analysis #interprocedural #java

Interprocedural exception analysis for Java (BMC, JWJ, KY, KMC), pp. 620–625.

ESOP-2001-Jacobs #formal method #java

A Formalisation of Java’s Exception Mechanism (BJ), pp. 284–301.

LICS-2001-Laird #game studies #semantics

A Fully Abstract Game Semantics of Local Exceptions (JL), pp. 105–114.

CAiSE-2000-ChiuLK #framework #logic #workflow

A Logical Framework for Exception Handling in ADOME Workflow Management System (DKWC, QL, KK), pp. 110–125.

KDD-2000-PairceirMS #database #distributed #multi

Discovery of multi-level rules and exceptions from a distributed database (RP, SIM, BWS), pp. 523–532.

ECOOP-2000-GuptaCH #java #optimisation #source code

Optimizing Java Programs in the Presence of Exceptions (MG, JDC, MH), pp. 422–446.

AdaEurope-2000-SoundarajanF #object-oriented #reasoning #using

Exceptions in OO Languages: Using Them and Reasoning about Them (NS, SF), pp. 238–251.

PLDI-2000-RamseyJ #implementation #multi

A single intermediate language that supports multiple implementations of exceptions (NR, SLPJ), pp. 285–298.

FSE-2000-RobillardM #design #java #robust #source code

Designing robust Java programs with exceptions (MPR, GCM), pp. 2–10.

ICSE-2000-LippertL #aspect-oriented #case study #detection #programming #using

A study on exception detecton and handling using aspect-oriented programming (ML, CVL), pp. 418–427.

CC-2000-RyderSKGS #java #using

A Static Study of Java Exceptions Using JESP (BGR, DS, UK, MG, NS), pp. 67–81.

DAC-2000-VelevB #branch #functional #multi #predict #verification

Formal verification of superscale microprocessors with multicycle functional units, exception, and branch prediction (MNV, REB), pp. 112–117.

ESOP-2000-Thielecke #continuation #on the

On Exceptions Versus Continuations in the Presence of State (HT), pp. 397–411.

CAV-2000-HosabettuGS #architecture #verification

Verifying Advanced Microarchitectures that Support Speculation and Exceptions (RH, GG, MKS), pp. 521–537.

PASTE-1999-ChoiGHS #analysis #java #modelling #performance #precise #source code

Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs (JDC, DG, MH, VS), pp. 21–31.

TOOLS-USA-1999-Langer #c++ #programming

Programming with C++ Exceptions (AL), p. 439.

PLDI-1999-JonesRHHM #semantics

A Semantics for Imprecise Exceptions (SLPJ, AR, FH, CARH, SM), pp. 25–36.

POPL-1999-PessauxL #analysis #type system

Type-Based Analysis of Uncaught Exceptions (FP, XL), pp. 276–290.

ESEC-FSE-1999-RobillardM #java #source code

Analyzing Exception Flow in Java Programs (MPR, GCM), pp. 322–327.

PDP-1999-Ludwig #approach #termination #workflow

Termination handling in inter-organisational workflows-an exception management approach (HL), pp. 122–129.

CAiSE-1998-CasatiFM #design #workflow

An Environment for Designing Exceptions in Workflows (FC, MGF, IM), pp. 139–157.

ESOP-1998-ChatterjeeRL #complexity

Complexity of Concrete Type-Inference in the Presence of Exceptions (RC, BGR, WL), pp. 57–74.

IWTCS-1998-OgishiIKS #protocol

Intelligent Protocol Analyzer for WWW Server Accesses with Exception Handling Function (TO, AI, TK, KS), pp. 49–64.

KDD-1997-Suzuki #reliability

Autonomous Discovery of Reliable Exception Rules (ES), pp. 259–262.

ECOOP-1997-MillerT #object-oriented

Issues with Exception Handling in Object-Oriented Systems (RM, ART), pp. 85–103.

SAS-1997-YiR #effectiveness #estimation #source code #towards

Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs (KY, SR), pp. 98–113.

DAC-1997-LiG #modelling #optimisation

Limited Exception Modeling and Its Use in Presynthesis Optimizations (JL, RKG), pp. 341–346.

TLCA-1995-Groote #calculus

A Simple Calculus of Exception Handling (PdG), pp. 201–215.

FPCA-1995-GunterRR

A Generalization of Exceptions and Control in ML-like Languages (CAG, DR, JGR), pp. 12–23.

VLDB-1994-AmielBDS #consistency #evolution

Supporting Exceptions to Schema Consistency to Ease Schema Evolution in OODBMS (EA, MJB, ED, ES), pp. 108–119.

KDD-1994-Gaines #graph

Exception Dags as Knowledge Structures (BRG), pp. 13–24.

SAS-1994-Yi #detection #ml #source code #standard

Compile-time Detection of Uncaught Exceptions in Standard ML Programs (KY), pp. 238–254.

ASPLOS-1994-ThekkathL #hardware #performance

Hardware and Software Support for Efficient Exception Handling (CAT, HML), pp. 110–119.

CC-1994-ErtlK #execution

Delayed Exceptions — Speculative Execution of Trapping Instructions (MAE, AK), pp. 158–171.

AdaEurope-1993-BundyM #ada #scalability

Error-Prone Exception Handling in Large Ada Systems (GNB, DEM), pp. 153–170.

AdaEurope-1993-Schwille #guidelines #using

Use and Abuse of Exceptions — 12 Guidelines for Proper Exception Handling (JS), pp. 141–152.

TRI-Ada-1993-Brennan #ada

Observations on Program-Wide Ada Exception Propagation (PTB), pp. 189–195.

TAPSOFT-1993-BernotG

Exception Handling and Term Labelling (GB, PLG), pp. 421–436.

KR-1992-Simonet #inheritance

RS Theory: A Really Skeptical Theory of Inheritance with Exceptions (GS), pp. 615–626.

HT-1991-HaraKW #database #hypermedia #implementation

Implementing Hypertext Database Relationships through Aggregations and Exceptions (YH, AMK, GW), pp. 75–90.

ECOOP-1991-Lacourte #distributed #object-oriented

Exceptions in Guide, an Object-Oriented Language for Distributed Applications (SL), pp. 268–287.

OOPSLA-ECOOP-1990-Dony #object-oriented #programming #synthesis #towards

Exception Handling and Object-Oriented Programming: Towards a Synthesis (CD), pp. 322–330.

CLP-1990-KowalskiS90 #logic programming #source code

Logic Programs with Exceptions (RAK, FS), pp. 598–613.

KR-1989-KotonC #information management #reasoning #representation

Knowledge Representation in a Case-Based Reasoning System: Defaults and Exceptions (PK, MPC), pp. 203–211.

ECOOP-1988-Dony #object-oriented

An Object-Oriented Exception Handling System for an Object-Oriented Language (CD), pp. 146–161.

OOPSLA-1988-RussoJC #multi #operating system #process

Process Management and Exception Handling in Multiprocessor Operating Systems (VFR, GJ, RHC), pp. 248–258.

ESOP-1988-BretzE #functional

An Exception Handling Construct for Functional Languages (MB, JE), pp. 160–174.

ESEC-1987-Knabe #fault #industrial #re-engineering #safety

The Impact of Exception Handling on Labour Division, Safety, and Error Diagnostics in an Industrial Software Engineering Environment (CK), pp. 369–376.

ESOP-1986-BernotBC #algebra #semantics

Algebraic Semantics of Exception Handling (GB, MB, CC), pp. 173–186.

VLDB-1985-BorgidaW #database #learning

Accommodating Exceptions in Databases, and Refining the Schema by Learning from them (AB, KEW), pp. 72–81.

FPCA-1985-Wadler85 #backtracking #functional #how #lazy evaluation #pattern matching

How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages (PW), pp. 113–128.

ICALP-1984-Bidoit #algebra #equation #fault #specification

Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations (MB), pp. 95–108.

ICSE-1984-BidoitBGGG #specification

Exception Handling: Formal Specification and Systematic Program Construction (MB, BB, MCG, CG, GDG), pp. 18–29.

POPL-1982-Yemeni #axiom

An Axiomatic Treatment of Exception Handling (SY), pp. 281–288.

POPL-1981-Hennessy #optimisation

Program Optimization and Exception Handling (JLH), pp. 200–206.

POPL-1975-Goodenough

Structured Exception Handling (JBG), pp. 204–224.