BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
exception
Google exception

Tag #exception

172 papers:

ICSMEICSME-2019-NguyenVN19a #recommendation
Recommending Exception Handling Code (TN, PV, TN), pp. 390–393.
SANERSANER-2019-MeloCT #developer #guidelines #java
Unveiling Exception Handling Guidelines Adopted by Java Developers (HM, RC, CT), pp. 128–139.
SCAMSCAM-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.
PPDPPPDP-2019-Bakel #logic
Exception Handling and Classical Logic (SvB), p. 14.
ASEASE-2019-Laguna #detection #float #gpu #named
FPChecker: Detecting Floating-Point Exceptions in GPU Applications (IL), pp. 1126–1129.
CCCC-2019-RenwickSF #c++ #embedded #low cost
Low-cost deterministic C++ exceptions for embedded systems (JR, TS, BF), pp. 76–86.
MSRMSR-2018-PaduaS08 #fault
Studying the relationship between exception handling practices and post-release defects (GBdP, WS), pp. 564–575.
SANERSANER-2018-MontenegroMCB #developer #policy
Improving developers awareness of the exception handling policy (TM, HM, RC, EB), pp. 413–422.
SEFMSEFM-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.
ECSAECSA-2017-FilhoRAB #architecture #consistency #design #using
Preventing Erosion in Exception Handling Design Using Static-Architecture Conformance Checking (JLMF, LSR, RMCA, RB), pp. 67–83.
ICPCICPC-2017-PaduaS #anti
Studying the prevalence of exception handling anti-patterns (GBdP, WS), pp. 328–331.
ICSMEICSME-2017-CokerDGKSP #behaviour #metric
Behavior Metrics for Prioritizing Investigations of Exceptions (ZC, KD, CLG, NAK, DCS, LLP), pp. 554–563.
MSRMSR-2017-OsmanCCGN #evolution #java
Exception evolution in long-lived Java systems (HO, AC, CC, MG, ON), pp. 302–311.
SANERSANER-2017-DurieuxCSM #generative #metaprogramming #null #pointer #using
Dynamic patch generation for null pointer exceptions using metaprogramming (TD, BC, LS, MM), pp. 349–358.
SANERSANER-2017-NogueiraRZ #java #library #open source #roadmap
Trends on empty exception handlers for Java open source libraries (AFN, JCBR, MAZR), pp. 412–416.
SANERSANER-2017-OsmanCSGN #evolution #java #on the
On the evolution of exception usage in Java projects (HO, AC, JS, MG, ON), pp. 422–426.
SCAMSCAM-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.
MSRMSR-2016-AsaduzzamanARS #developer #how #java #question
How developers use exception handling in Java? (MA, MA, CKR, KAS), pp. 516–519.
MSRMSR-2016-KeryGM
Examining programmer practices for locally handling exceptions (MBK, CLG, BAM), pp. 484–487.
MSRMSR-2016-NakshatriHT #analysis #empirical #java
Analysis of exception handling patterns in Java projects: an empirical study (SN, MH, ST), pp. 500–503.
MSRMSR-2016-SenaCKB #comprehension #empirical #java #library
Understanding the exception handling strategies of Java libraries: an empirical study (DS, RC, UK, RB), pp. 212–222.
PLDIPLDI-2016-ZhangSBLM
Accepting blame for safe tunneled exceptions (YZ, GS, QB, BL, ACM), pp. 281–295.
ICPCICPC-2015-AmintabarHG #development #ide #named #recommendation
ExceptionTracer: a solution recommender for exceptions in an integrated development environment (VA, AH, MG), pp. 299–302.
MSRMSR-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.
SCAMSCAM-2015-BonifacioCRKC #c++ #using
The use of C++ exception handling constructs: A comprehensive study (RB, FC, GNR, UK, RC), pp. 21–30.
SEKESEKE-2015-AbrantesC #monitoring #policy #specification
Specifying and Dynamically Monitoring the Exception Handling Policy (JA, RC), pp. 370–374.
SEKESEKE-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.
ECOOPECOOP-2015-BhandariN
Loop Tiling in the Presence of Exceptions (AB, VKN), pp. 124–148.
OOPSLAOOPSLA-2015-BiswasZBL #named #performance
Valor: efficient, software-only region conflict exceptions (SB, MZ, MDB, BL), pp. 241–259.
PEPMPEPM-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.
SACSAC-2015-SenaCK #product line
An investigation on the evolutionary nature of exception handling violations in software product lines (DS, RC, UK), pp. 1616–1623.
SANERCSMR-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.
ICSMEICSME-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.
MSRMSR-2014-KechagiaS
Undocumented and unchecked: exceptions that spell trouble (MK, DS), pp. 312–315.
SCAMSCAM-2014-LiangSMKH #analysis #automaton
Pruning, Pushdown Exception-Flow Analysis (SL, WS, MM, AWK, DVH), pp. 265–274.
SCAMSCAM-2014-RahmanR14a #on the #recommendation #using
On the Use of Context in Recommending Exception Handling Code Examples (MMR, CKR), pp. 285–294.
EDOCEDOC-2014-RitterS #integration #modelling
Modeling Exception Flows in Integration Systems (DR, JS), pp. 12–21.
PPDPPPDP-J-2012-JaksicP14
Exception handling for copyless messaging (SJ, LP), pp. 22–51.
RERE-2014-CailliauL #modelling
Integrating exception handling in goal models (AC, AvL), pp. 43–52.
DATEDATE-2014-DweikAD #array #fault
Reliability-Aware Exceptions: Tolerating intermittent faults in microprocessor array structures (WD, MA, MD), pp. 1–6.
FoSSaCSFoSSaCS-2014-MurawskiT #game studies #semantics
Game Semantics for Nominal Exceptions (ASM, NT), pp. 164–179.
ISSTAISSTA-2014-ZhangC #automation #detection #information management #lightweight
Lightweight automated detection of unsafe information leakage via exceptions (BZ, JC), pp. 327–338.
ICSMEICSM-2013-EbertC #case study #debugging #developer
A Study on Developers’ Perceptions about Exception Handling Bugs (FE, FC), pp. 448–451.
ICEISICEIS-v1-2013-LiuDH #assessment #detection #risk management
Detecting and Explaining Business Exceptions for Risk Assessment (LL, HAMD, WH), pp. 530–535.
SEKESEKE-2013-CarvalhoNM #testing
Structural Testing of Exceptions Handling (LAFC, VdON, PCM), pp. 206–209.
POPLPOPL-2013-BarrVLS #automation #detection #float
Automatic detection of floating-point exceptions (ETB, TV, VL, ZS), pp. 549–560.
SACSAC-2013-DionisisCP #adaptation #framework
An integrated framework for QoS-based adaptation and exception resolution in WS-BPEL scenarios (MD, VC, GP), pp. 1900–1906.
SACSAC-2013-SilvaC #interface #java
New exception interfaces for Java-like languages (TBLS, FC), pp. 1661–1666.
CCCC-2013-KastrinisS #analysis #effectiveness #java #performance #points-to
Efficient and Effective Handling of Exceptions in Java Points-to Analysis (GK, YS), pp. 41–60.
SEFMSEFM-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.
PPDPPPDP-2012-JaksicP
Exception handling for copyless messaging (SJ, LP), pp. 151–162.
ICSEICSE-2012-ZhangE #testing #validation
Amplifying tests to validate exception handling code (PZ, SGE), pp. 595–605.
CBSECBSE-2011-HuangW #architecture #component #towards
Towards architecture-level middleware-enabled exception handling of component-based systems (GH, YW), pp. 159–168.
ECOOPECOOP-2011-HarmanciGF #coordination #memory management #transaction
Atomic Boxes: Coordinated Exception Handling with Transactional Memory (DH, VG, PF), pp. 634–657.
ECOOPECOOP-2011-PrabhuMBIG #analysis #c++ #interprocedural
Interprocedural Exception Analysis for C++ (PP, NM, GB, FI, AG), pp. 583–608.
OOPSLAOOPSLA-2011-LiT #interface #java #named
JET: exception checking in the Java native interface (SL, GT), pp. 345–358.
ASPLOSASPLOS-2011-SinghMNMM #memory management #performance
Efficient processor support for DRFx, a memory model with exceptions (AS, DM, SN, TDM, MM), pp. 53–66.
ICSTICST-2011-RomanoPA #approach #null #pointer #testing
An Approach for Search Based Testing of Null Pointer Exceptions (DR, MDP, GA), pp. 160–169.
ICEISICEIS-AIDSS-2010-AldeebPCS #metric #similarity #workflow
Sentence Similarity Measures to Support Workflow Exception Handling (AA, DMP, KAC, MJS), pp. 256–263.
SEKESEKE-2010-Nehmer #approach #consistency
A Log-Assisted Approach Enforcing Consistency in the Presence of Exceptions (NN), pp. 757–764.
PADLPADL-2010-Iborra #haskell
Explicitly Typed Exceptions for Haskell (JI), pp. 43–57.
SFMSFM-2009-CarboneYH #interactive #multi
Asynchronous Session Types: Exceptions and Multiparty Interactions (MC, NY, KH), pp. 187–212.
ECOOPECOOP-2009-JacobsP #named
Failboxes: Provably Safe Exception Handling (BJ, FP), pp. 470–494.
LOPSTRLOPSTR-2009-Nishimura #logic
Refining Exceptions in Four-Valued Logic (SN), pp. 113–127.
PEPMPEPM-2009-DavidGC #calculus #optimisation
Translation and optimization for a core calculus with exceptions (CD, CG, WNC), pp. 41–50.
ISSTAISSTA-2009-BravenboerS #analysis #points-to
Exception analysis and points-to analysis: better together (MB, YS), pp. 1–12.
ISSTAISSTA-2009-SinhaSGJKH #fault #java #locality #runtime
Fault localization and repair for Java runtime exceptions (SS, HS, CG, SJ, MK, MJH), pp. 153–164.
CSMRCSMR-2008-Bruntink #c #legacy #re-engineering
Reengineering Idiomatic Exception Handling in Legacy C Code (MB), pp. 133–142.
ICALPICALP-B-2008-Lebresne #call-by #system f
A System F with Call-by-Name Exceptions (SL), pp. 323–335.
SOFTVISSOFTVIS-2008-ShahGH #comprehension #visualisation
Visualization of exception handling constructs to support program understanding (HS, CG, MJH), pp. 19–28.
ECOOPECOOP-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.
ASEASE-2008-CabralM #automation
A Case for Automatic Exception Handling (BC, PM), pp. 403–406.
SACSAC-2008-PereiraM #architecture #coordination
A formal architectural model for exception handling coordination (DPP, ACVdM), pp. 114–118.
CGOCGO-2008-SundaresanSR
Removing redundancy via exception check motion (VS, MGS, PR), pp. 134–143.
ISSTAISSTA-2008-BuseW08a #automation #documentation
Automatic documentation inference for exceptions (RPLB, WW), pp. 273–282.
SEFMSEFM-2007-JacobsMP #reasoning
Sound reasoning about unchecked exceptions (BJ, PM, FP), pp. 113–122.
ICEISICEIS-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.
ECOOPECOOP-2007-CabralM #case study #dot-net #java
Exception Handling: A Field Study in Java and .NET (BC, PM), pp. 151–175.
ICSEICSE-2007-FuR #analysis #architecture #java
Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications (CF, BGR), pp. 230–239.
SACSAC-2007-MouraoA #effectiveness #workflow
Supporting effective unexpected exceptions handling in workflow management systems (HM, PA), pp. 1242–1249.
DACDAC-2007-GoswamiTKR #constraints #generative #testing
Test Generation in the Presence of Timing Exceptions and Constraints (DG, KHT, MK, JR), pp. 688–693.
FMFM-2006-LiHR #automation #safety #towards #verification
Towards Automatic Exception Safety Verification (XL, HJH, PR), pp. 396–411.
HaskellHaskell-2006-Marlow #dynamic typing
An extensible dynamically-typed hierarchy of exceptions (SM), pp. 96–106.
CAiSECAiSE-2006-RinderleR #data-driven #process
Data-Driven Process Control and Exception Handling in Process Management Systems (SR, MR), pp. 273–287.
CAiSECAiSE-2006-RussellAH #workflow
Workflow Exception Patterns (NR, WMPvdA, AHMtH), pp. 288–302.
EDOCEDOC-2006-EntwisleSPK #framework #modelling #reliability
A Model Driven Exception Management Framework for Developing Reliable Software Systems (SE, HWS, IDP, EAK), pp. 307–318.
PEPMPEPM-2006-IwamaIK #analysis #functional #resource management
Resource usage analysis for a functional language with exceptions (FI, AI, NK), pp. 38–47.
FSEFSE-2006-FilhoCFMGR #aspect-oriented
Exceptions and aspects: the devil is in the details (FCF, NC, EF, RM, AG, CMFR), pp. 152–162.
ICSEICSE-2006-BruntinkDT #fault
Discovering faults in idiom-based exception handling (MB, AvD, TT), pp. 242–251.
ICSEICSE-2006-HanTS #workflow
Managing exceptions in the medical workflow systems (MH, TT, XS), pp. 741–750.
SACSAC-2006-FilhoRR #coordination #verification
Verification of coordinated exception handling (FCF, AR, CMFR), pp. 680–685.
GPCEGPCE-2006-BaggeDHK
Stayin’ Alert: Moulding Failure and Exceptions to Your Needs (AHB, VD, MH, KTK), pp. 265–274.
CASECASE-2006-ViswanadhamPG #process
Decision Support System for Exception Management in RFID Enabled Airline Baggage Handling Process (NV, AP, RSG), pp. 351–356.
PDPPDP-2006-GhafoorYDM #calculus #protocol
p_RBT-calculus Compensation and Exception Handling Protocol (AGM, JY, JD, MMuR), pp. 39–47.
OOPSLAOOPSLA-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.
CGOCGO-2005-OdairaH #dependence
Sentinel PRE: Hoisting beyond Exception Dependency with Dynamic Deoptimization (RO, KH), pp. 328–338.
CBSECBSE-2004-SimonsS #assembly #named #robust
CMEH: Container Managed Exception Handling for Increased Assembly Robustness (KS, JAS), pp. 122–129.
SEFMSEFM-2004-LeinoS #c# #safety
Exception Safety for C# (KRML, WS), pp. 218–227.
ICFPICFP-2003-BeffaraD #normalisation
Disjunctive normal forms and local exceptions (EB, VD), pp. 203–211.
PEPMPEPM-2003-AllenH #java #slicing #source code
Slicing java programs that throw and catch exceptions (MA, SH), pp. 44–54.
ASEASE-2003-EllisI #automation #proving
Automation for Exception Freedom Proofs (BJE, AI), pp. 343–346.
ASEASE-2003-MayerS #debugging #source code
Extending Diagnosis to Debug Programs with Exceptions (WM, MS), pp. 240–244.
SCAMSCAM-2002-ChangJH #java #static analysis #using #visualisation
Visualization of Exception Propagation for Java Using Static Analysis (BMC, JWJ, SHH), p. 173–?.
RTARTA-2002-FaureK #calculus
Exceptions in the Rewriting Calculus (GF, CK), pp. 66–82.
ICFPICFP-2002-GlynnSSS #analysis #strict
Exception analysis for non-strict languages (KG, PJS, MS, HS), pp. 98–109.
AdaSIGAda-2002-AmeyC #industrial
Industrial strength exception freedom (PA, RC), pp. 1–9.
CCCC-2002-GschwindA #compilation #precise #semantics
Precise Exception Semantics in Dynamic Compilation (MG, ERA), pp. 95–110.
ESOPESOP-2002-Laird #continuation
Exceptions, Continuations and Macro-expressiveness (JL), pp. 133–146.
VLDBVLDB-2001-CasatiDGS #comprehension #predict #process #quality
Improving Business Process Quality through Exception Understanding, Prediction, and Prevention (DG, FC, UD, MCS), pp. 159–168.
FLOPSFLOPS-2001-PolakovY #framework #logic #order #proving
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework (JP, KY), pp. 61–77.
OOPSLAOOPSLA-2001-AnconaLZ #calculus #java
A Core Calculus for Java Exceptions (DA, GL, EZ), pp. 16–30.
OOPSLAOOPSLA-2001-OgasawaraKN #case study #java #optimisation
A Study of Exception Handling and Its Dynamic Optimization in Java (TO, HK, TN), pp. 83–95.
PLDIPLDI-2001-MarlowJMR #haskell
Asynchronous Exceptions in Haskell (SM, SLPJ, AM, JHR), pp. 274–285.
SACSAC-2001-ChangJYC #analysis #interprocedural #java
Interprocedural exception analysis for Java (BMC, JWJ, KY, KMC), pp. 620–625.
ESOPESOP-2001-Jacobs #formal method #java
A Formalisation of Java’s Exception Mechanism (BJ), pp. 284–301.
LICSLICS-2001-Laird #game studies #semantics
A Fully Abstract Game Semantics of Local Exceptions (JL), pp. 105–114.
CAiSECAiSE-2000-ChiuLK #framework #logic #workflow
A Logical Framework for Exception Handling in ADOME Workflow Management System (DKWC, QL, KK), pp. 110–125.
KDDKDD-2000-PairceirMS #database #distributed #multi
Discovery of multi-level rules and exceptions from a distributed database (RP, SIM, BWS), pp. 523–532.
ECOOPECOOP-2000-GuptaCH #java #optimisation #source code
Optimizing Java Programs in the Presence of Exceptions (MG, JDC, MH), pp. 422–446.
AdaEuropeAdaEurope-2000-SoundarajanF #object-oriented #reasoning #using
Exceptions in OO Languages: Using Them and Reasoning about Them (NS, SF), pp. 238–251.
PLDIPLDI-2000-RamseyJ #implementation #multi
A single intermediate language that supports multiple implementations of exceptions (NR, SLPJ), pp. 285–298.
FSEFSE-2000-RobillardM #design #java #robust #source code
Designing robust Java programs with exceptions (MPR, GCM), pp. 2–10.
ICSEICSE-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.
CCCC-2000-RyderSKGS #java #using
A Static Study of Java Exceptions Using JESP (BGR, DS, UK, MG, NS), pp. 67–81.
DACDAC-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.
ESOPESOP-2000-Thielecke #continuation #on the
On Exceptions Versus Continuations in the Presence of State (HT), pp. 397–411.
CAVCAV-2000-HosabettuGS #architecture #verification
Verifying Advanced Microarchitectures that Support Speculation and Exceptions (RH, GG, MKS), pp. 521–537.
PASTEPASTE-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.
TOOLSTOOLS-USA-1999-Langer #c++ #programming
Programming with C++ Exceptions (AL), p. 439.
PLDIPLDI-1999-JonesRHHM #semantics
A Semantics for Imprecise Exceptions (SLPJ, AR, FH, CARH, SM), pp. 25–36.
POPLPOPL-1999-PessauxL #analysis #type system
Type-Based Analysis of Uncaught Exceptions (FP, XL), pp. 276–290.
ESECESEC-FSE-1999-RobillardM #java #source code
Analyzing Exception Flow in Java Programs (MPR, GCM), pp. 322–327.
PDPPDP-1999-Ludwig #approach #termination #workflow
Termination handling in inter-organisational workflows-an exception management approach (HL), pp. 122–129.
CAiSECAiSE-1998-CasatiFM #design #workflow
An Environment for Designing Exceptions in Workflows (FC, MGF, IM), pp. 139–157.
ESOPESOP-1998-ChatterjeeRL #complexity
Complexity of Concrete Type-Inference in the Presence of Exceptions (RC, BGR, WL), pp. 57–74.
ICTSSIWTCS-1998-OgishiIKS #protocol
Intelligent Protocol Analyzer for WWW Server Accesses with Exception Handling Function (TO, AI, TK, KS), pp. 49–64.
KDDKDD-1997-Suzuki #reliability
Autonomous Discovery of Reliable Exception Rules (ES), pp. 259–262.
ECOOPECOOP-1997-MillerT #object-oriented
Issues with Exception Handling in Object-Oriented Systems (RM, ART), pp. 85–103.
SASSAS-1997-YiR #effectiveness #estimation #source code #towards
Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs (KY, SR), pp. 98–113.
DACDAC-1997-LiG #modelling #optimisation
Limited Exception Modeling and Its Use in Presynthesis Optimizations (JL, RKG), pp. 341–346.
TLCATLCA-1995-Groote #calculus
A Simple Calculus of Exception Handling (PdG), pp. 201–215.
FPCAFPCA-1995-GunterRR
A Generalization of Exceptions and Control in ML-like Languages (CAG, DR, JGR), pp. 12–23.
VLDBVLDB-1994-AmielBDS #consistency #evolution
Supporting Exceptions to Schema Consistency to Ease Schema Evolution in OODBMS (EA, MJB, ED, ES), pp. 108–119.
KDDKDD-1994-Gaines #graph
Exception Dags as Knowledge Structures (BRG), pp. 13–24.
SASSAS-1994-Yi #detection #ml #source code #standard
Compile-time Detection of Uncaught Exceptions in Standard ML Programs (KY), pp. 238–254.
ASPLOSASPLOS-1994-ThekkathL #hardware #performance
Hardware and Software Support for Efficient Exception Handling (CAT, HML), pp. 110–119.
CCCC-1994-ErtlK #execution
Delayed Exceptions — Speculative Execution of Trapping Instructions (MAE, AK), pp. 158–171.
AdaEuropeAdaEurope-1993-BundyM #ada #scalability
Error-Prone Exception Handling in Large Ada Systems (GNB, DEM), pp. 153–170.
AdaEuropeAdaEurope-1993-Schwille #guidelines #using
Use and Abuse of Exceptions — 12 Guidelines for Proper Exception Handling (JS), pp. 141–152.
AdaTRI-Ada-1993-Brennan #ada
Observations on Program-Wide Ada Exception Propagation (PTB), pp. 189–195.
TAPSOFTTAPSOFT-1993-BernotG
Exception Handling and Term Labelling (GB, PLG), pp. 421–436.
KRKR-1992-Simonet #inheritance
RS Theory: A Really Skeptical Theory of Inheritance with Exceptions (GS), pp. 615–626.
HTHT-1991-HaraKW #database #hypermedia #implementation
Implementing Hypertext Database Relationships through Aggregations and Exceptions (YH, AMK, GW), pp. 75–90.
ECOOPECOOP-1991-Lacourte #distributed #object-oriented
Exceptions in Guide, an Object-Oriented Language for Distributed Applications (SL), pp. 268–287.
OOPSLAOOPSLA-ECOOP-1990-Dony #object-oriented #programming #synthesis #towards
Exception Handling and Object-Oriented Programming: Towards a Synthesis (CD), pp. 322–330.
ICLPCLP-1990-KowalskiS90 #logic programming #source code
Logic Programs with Exceptions (RAK, FS), pp. 598–613.
KRKR-1989-KotonC #information management #reasoning #representation
Knowledge Representation in a Case-Based Reasoning System: Defaults and Exceptions (PK, MPC), pp. 203–211.
ECOOPECOOP-1988-Dony #object-oriented
An Object-Oriented Exception Handling System for an Object-Oriented Language (CD), pp. 146–161.
OOPSLAOOPSLA-1988-RussoJC #multi #operating system #process
Process Management and Exception Handling in Multiprocessor Operating Systems (VFR, GJ, RHC), pp. 248–258.
ESOPESOP-1988-BretzE #functional
An Exception Handling Construct for Functional Languages (MB, JE), pp. 160–174.
ESECESEC-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.
ESOPESOP-1986-BernotBC #algebra #semantics
Algebraic Semantics of Exception Handling (GB, MB, CC), pp. 173–186.
VLDBVLDB-1985-BorgidaW #database #learning
Accommodating Exceptions in Databases, and Refining the Schema by Learning from them (AB, KEW), pp. 72–81.
FPCAFPCA-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.
ICALPICALP-1984-Bidoit #algebra #equation #fault #specification
Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations (MB), pp. 95–108.
ICSEICSE-1984-BidoitBGGG #specification
Exception Handling: Formal Specification and Systematic Program Construction (MB, BB, MCG, CG, GDG), pp. 18–29.
POPLPOPL-1982-Yemeni #axiom
An Axiomatic Treatment of Exception Handling (SY), pp. 281–288.
POPLPOPL-1981-Hennessy #optimisation
Program Optimization and Exception Handling (JLH), pp. 200–206.
POPLPOPL-1975-Goodenough
Structured Exception Handling (JBG), pp. 204–224.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.