Stem except$ (all stems)

159 papers:

ICPC-2015-AmintabarHG #development #exception #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 #exception #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++ #exception

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

PEPM-2015-KootH #analysis #exception #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.

DUXU-DD-2015-Robier #experience

Innovation, Exceptional Experience and Sustainable Success Made Easy: The NI© Needs Innovation Model (JR), pp. 348–355.

SEKE-2015-AbrantesC #exception #monitoring #policy #specification

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

SEKE-2015-ElerDE #exception #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 #exception

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

OOPSLA-2015-BiswasZBL #exception #named #performance

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

SAC-2015-SenaCK #exception #product line

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

DATE-2014-DweikAD #array #exception #fault

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

FoSSaCS-2014-MurawskiT #exception #game studies #semantics

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

CSMR-WCRE-2014-RahmanYR #exception #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 #exception #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 #exception

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

SCAM-2014-LiangSMKH #analysis #automaton #exception

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

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

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

EDOC-2014-RitterS #exception #integration #modelling

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

PPDP-J-2012-JaksicP14 #exception

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

RE-2014-CailliauL #exception #modelling

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

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

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

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

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

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

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

SEKE-2013-CarvalhoNM #exception #testing

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

POPL-2013-BarrVLS #automation #detection #exception #float

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

SAC-2013-DionisisCP #adaptation #exception #framework

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

SAC-2013-SilvaC #exception #interface #java

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

CC-2013-KastrinisS #analysis #effectiveness #exception #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 #exception #graph #java #source code

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

KDD-2012-DuivesteijnFK #distance #mining #modelling

Different slopes for different folks: mining for exceptional regression models with cook’s distance (WD, AF, AJK), pp. 868–876.

PPDP-2012-JaksicP #exception

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

ICSE-2012-ZhangE #exception #testing #validation

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

CBSE-2011-HuangW #architecture #component #exception #towards

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

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

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

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

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

OOPSLA-2011-LiT #exception #interface #java #named

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

ASPLOS-2011-SinghMNMM #exception #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 #exception #null #pointer #testing

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

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

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

SEKE-2010-Nehmer #approach #consistency #exception

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

ICMT-2010-SyrianiKV

Exceptional Transformations (ES, JK, HV), pp. 199–214.

PADL-2010-Iborra #exception #haskell

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

SAC-2010-CostaFGMO #learning #mining #modelling

Mining models of exceptional objects through rule learning (GC, FF, MG, GM, RO), pp. 1078–1082.

OSDI-2010-SoaresS #flexibility #named #scheduling

FlexSC: Flexible System Call Scheduling with Exception-Less System Calls (LS, MS), pp. 33–46.

PEPM-2009-DavidGC #calculus #exception #optimisation

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

SFM-2009-CarboneYH #exception #interactive #multi

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

ECOOP-2009-JacobsP #exception #named

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

LOPSTR-2009-Nishimura #exception #logic

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

ESEC-FSE-2009-VarmaSS #memory management

Backward-compatible constant-time exception-protected memory (PV, RKS, HJS), pp. 71–80.

ICSE-2009-ThummalapentaX #mining #sequence

Mining exception-handling rules as sequence association rules (ST, TX), pp. 496–506.

ISSTA-2009-BravenboerS #analysis #exception #points-to

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

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

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

ASE-2008-CabralM #automation #exception

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

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

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

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

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

SOFTVIS-2008-ShahGH #comprehension #exception #visualisation

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

ICEIS-AIDSS-2008-SchmidtV #reasoning #using

Using Case-Based Reasoning to Explain Exceptional Cases (RS, OV), pp. 119–124.

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

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

SAC-2008-PereiraM #architecture #coordination #exception

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

CGO-2008-SundaresanSR #exception

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

ISSTA-2008-BuseW08a #automation #documentation #exception

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

DAC-2007-GoswamiTKR #constraints #exception #generative #testing

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

SEFM-2007-JacobsMP #exception #reasoning

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

ICEIS-EIS-2007-AldeebCS #adaptation #exception #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 #exception #java

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

SAC-2007-MouraoA #effectiveness #exception #workflow

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

ICSE-2007-FuR #analysis #architecture #exception #java

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

CASE-2006-ViswanadhamPG #exception #process

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

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

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

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

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

CAiSE-2006-RinderleR #data-driven #exception #process

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

CAiSE-2006-RussellAH #exception #workflow

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

EDOC-2006-EntwisleSPK #exception #framework #modelling #reliability

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

GPCE-2006-BaggeDHK #exception

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

SAC-2006-FilhoRR #coordination #exception #verification

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

FSE-2006-FilhoCFMGR #aspect-oriented #exception

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

ICSE-2006-BruntinkDT #exception #fault

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

ICSE-2006-HanTS #exception #workflow

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

MoDELS-2005-ShuiMKD #case study

Exceptional Use Cases (AS, SM, JK, CD), pp. 568–583.

MoDELS-2005-ShuiMKD #case study

Exceptional Use Cases (AS, SM, JK, CD), pp. 568–583.

OOPSLA-2005-DoorenS #exception #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 #exception

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

CBSE-2004-SimonsS #assembly #exception #named #robust

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

SEFM-2004-LeinoS #c# #exception #safety

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

ASE-2003-EllisI #automation #exception #proving

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

ASE-2003-MayerS #debugging #exception #source code

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

ITiCSE-2003-Becker03b #student

Assignments that meet the needs of exceptional students without disadvantaging the average (KB), p. 271.

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

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

ICFP-2003-BeffaraD #exception #normalisation

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

ESOP-2002-Laird #continuation #exception

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

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

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

ICFP-2002-GlynnSSS #analysis #exception #strict

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

SIGAda-2002-AmeyC #exception #industrial

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

CC-2002-GschwindA #compilation #exception #precise #semantics

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

RTA-2002-FaureK #calculus #exception

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

TestCom-2002-OgishiHKS #sequence #specification

A TCP Test System Specifying only Exceptional Packet Sequences (TO, TH, TK, KS), pp. 21–38.

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

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

ESOP-2001-Jacobs #exception #formal method #java

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

PLDI-2001-MarlowJMR #exception #haskell

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

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

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

OOPSLA-2001-AnconaLZ #calculus #exception #java

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

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

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

SAC-2001-ChangJYC #analysis #exception #interprocedural #java

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

LICS-2001-Laird #exception #game studies #semantics

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

DAC-2000-VelevB #branch #exception #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 #exception #on the

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

PLDI-2000-RamseyJ #exception #implementation #multi

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

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

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

CAiSE-2000-ChiuLK #exception #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 #exception #multi

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

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

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

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

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

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

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

CC-2000-RyderSKGS #exception #java #using

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

CAV-2000-HosabettuGS #architecture #exception #verification

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

ICSM-1999-SinhaH #java #source code #testing

Criteria for Testing Exception-Handling Constructs in Java Programs (SS, MJH), p. 265–?.

PASTE-1999-ChoiGHS #analysis #exception #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.

PLDI-1999-JonesRHHM #exception #semantics

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

UML-1999-SoundarajanF #behaviour #modelling

Modeling Exceptional Behavior (NS, SF), pp. 691–705.

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

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

POPL-1999-PessauxL #analysis #exception #type system

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

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

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

ESOP-1998-ChatterjeeRL #complexity #exception

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

ICSM-1998-SinhaH #analysis #source code

Analysis of Programs with Exception-Handling Constructs (SS, MJH), pp. 348–357.

CAiSE-1998-CasatiFM #design #exception #workflow

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

IWTCS-1998-OgishiIKS #exception #protocol

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

DAC-1997-LiG #exception #modelling #optimisation

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

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

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

KDD-1997-Suzuki #exception #reliability

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

ECOOP-1997-MillerT #exception #object-oriented

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

KDD-1996-SuzukiS #database #information management

Exceptional Knowledge Discovery in Databases Based on Information Theory (ES, MS), pp. 275–278.

FPCA-1995-GunterRR #exception

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

TLCA-1995-Groote #calculus #exception

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

VLDB-1994-AmielBDS #consistency #evolution #exception

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

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

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

KDD-1994-Gaines #exception #graph

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

ASPLOS-1994-ThekkathL #exception #hardware #performance

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

CC-1994-ErtlK #exception #execution

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

AdaEurope-1993-BundyM #ada #exception #scalability

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

AdaEurope-1993-Schwille #exception #guidelines

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

TRI-Ada-1993-Brennan #ada #exception

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

KR-1992-Simonet #exception #inheritance

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

HT-1991-HaraKW #database #exception #hypermedia #implementation

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

ECOOP-1991-Lacourte #distributed #exception #object-oriented

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

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

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

CLP-1990-KowalskiS90 #exception #logic programming #source code

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

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

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

ESOP-1988-BretzE #exception #functional

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

ECOOP-1988-Dony #exception #object-oriented

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

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

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

ESEC-1987-Knabe #exception #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 #exception #semantics

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

VLDB-1985-BorgidaW #database #exception #learning

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

FPCA-1985-Wadler85 #backtracking #exception #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 #exception #fault #specification

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

ICSE-1984-BidoitBGGG #exception #specification

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

POPL-1982-Yemeni #axiom #exception

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

POPL-1981-Hennessy #exception #optimisation

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

POPL-1975-Goodenough #exception

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