The DOI matches its Crossref record; 39 of the 39 references it cites were found in a registry or an index; 2 of the 10 sources its claims cite were checked for support.
Exception handling: issues and a proposed notation
Open accessAbstract
This paper defines exception conditions, discusses the requirements exception handling language features must satisfy, and proposes some new language features for dealing with exceptions in an orderly and reliable way. The proposed language features serve to highlight exception handling issues by showing how deficiencies in current approaches can be remedied.
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
51 Own interpretation · 10 No basis given · 3 Sources not found · 2 Couldn’t confirm · 1 Not checked yet · accuracy not yet measured
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Exception handling notations that imply a fixed implementation technique are therefore not suited for dealing with the complete range of exception requirements.”
§ Exception Handling: Issues and a Proposed Notation > Communications
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Note that in contrast to PL/I, exceptions raised implicitly within a subroutine are not automatically passed to the subroutine's invoker; if they are to be passed one level higher, then they must be raised explicitly, using one of the commands given in the next section.”
§ Exception Handling: Issues and a Proposed Notation > 3.1 Associating Exception Handlers With Operations
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
None of the sources cited for this claim have been checked yet.
In the paper
“In short, exceptions and exception handling mechanisms are not needed just to deal with errors.They are needed, in general, as a means of conveniently interleaving actions belonging to different levels of abstraction [2][3][4][5][6][7].”
§ Exception Handling: Issues and a Proposed Notation > Communications
What the sources say
- Not matchedcites [2] 2. Buxton, J.N. and Randell, B. [1969]. Software Engineering Tech- niques. NATO Science Committee, Brussels, 1970.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not checked — no full text of the sourcecites [3] 3. Caracciolo di Forino, A. [1968]. String processing languages and generalized Markov algorithms. In Symbol Manipulation Languages and Techniques, D. G. Bobrow (Ed.), North Holland Pub. Co., Amsterdam. source
- Not matchedcites [4] 4. Courant, R. [1961]. In Applied mathematics: what is needed in References
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“The ability to associate a handler with several activation points is useful, but it does make it possible to inadvertently associate the wrong handler with an activation point.”
§ Exception Handling: Issues and a Proposed Notation > 3.1 Associating Exception Handlers With Operations
plainconditional- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Note that the value of distinguishing N O T I F Y exceptions is that if an operation is guaranteed to be resumed after an exception is handled, the implementor of the operation need not spend any effort or space to take care of the possibility of being terminated.”
§ Exception Handling: Issues and a Proposed Notation > Number 12
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“The proposed default exception handling notation permits programmer-defined and system-defined exceptions to be dealt with uniformly.”
§ Exception Handling: Issues and a Proposed Notation > ENDPAGE ENDPAGE 693
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“None of the existing exception handling methods mentioned earlier is optimally efficient for dealing with every type of exception condition.”
§ Exception Handling: Issues and a Proposed Notation > 3.1 Associating Exception Handlers With Operations
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Most exception handling methods do not satisfy requirements for default exceptions very well.”
§ Exception Handling: Issues and a Proposed Notation > 3.3 Default Exception Handling
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: unclear — It is unclear why the paper says it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“The proposed method obviously is uniform in this respect, unlike the use of subroutines, labels, or status variables passed as parameters.”
§ Exception Handling: Issues and a Proposed Notation > 3.1 Associating Exception Handlers With Operations
boosted- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“But neither standard PL/I nor MULTICS PL/I provide completely suitable default exception facilities.”
§ Exception Handling: Issues and a Proposed Notation > 3.3 Default Exception Handling
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
- Probably not a substantial claim. 33
- It may state two separate claims as one. 15
- The quote only partly states this claim. 1
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“A third set of techniques has been proposed pri-685 Communications December 1975 of Volume 18 the ACM Number 12 marily for dealing with range failures.These techniques are based on the idea that recovery from a range failure is impossible; the only sensible action is to try some alternative operation that may succeed in obtaining the desired effect.”
§ Exception Handling: Issues and a Proposed Notation > 2. Previous Exception Handling Techniques
What the sources say
- Not matchedcites [14] 14. Hill, I.D. Faults in functions, in ALGOL and FORTRAN. Computer J. 14, 3 (March 1972), pp. 315-316.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Could not verifycites [15] 15. Ross, D.T. The AED free storage package. Comm. A C M 10, 8 (August 1967), 481-492. sourceExperimental — accuracy not yet measured
Our copy does not discuss “range failures” or describe a set of techniques that responds to them by trying another operation (searched: “range failures” and “recovery from failure impossible alternative operations”). Section 5.3, “Error Procedure, FERR” (page unavailable), distinguishes Help conditions from actual errors, but does not establish what the citing sentence attributes to this paper. (LLM, conf=0.72)
- Not matchedcites [16] 16. AED Programmer's Guide. SofTech, Inc., Waltham, Mass. 1972.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“The ability to pass exceptions up to an enclosing context is convenient because it is quite natural to deal with an exception first locally and then more globally [19].”
§ Exception Handling: Issues and a Proposed Notation > Number 12
What the sources say
- Could not verifycites [19] 19. Golomb, S.W. and Baumert, L.D. Backtrack programming. J. A C M 12, 4 (Oct. 1965), 516-524. sourceExperimental — accuracy not yet measured
Section 2, “Basic Formulation of Backtrack” (page unavailable), describes returning to an earlier choice when a search path fails, not passing exceptions to an enclosing context. Searches for exception handling and local-to-global handling found no passage addressing the cited claim. (LLM, conf=0.76)
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: fails — It may be too vague to check against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. It may be too vague to check against evidence. The paper’s conclusions may not depend on it.
- Could not verify
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Moreover, we will argue later that any of these techniques could be used in implementing our proposed exception handling notation.”
§ Exception Handling: Issues and a Proposed Notation > 2. Previous Exception Handling Techniques
hedged- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Exception handling issues that arise from the interaction between an exception raising operation and its immediate invoker are somewhat different from those that arise when an exception is disposed of by an indirect invoker.These issues are sufficiently different to deserve special attention.”
§ Exception Handling: Issues and a Proposed Notation > 3. Exception Handling Requirements and Issues
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper may give no reason why it holds.
In the paper
“In Hoare's proposal, the failure of Q1 does not imply the effects of QI are undone before Q2 is invoked.”
§ Exception Handling: Issues and a Proposed Notation > 2. Previous Exception Handling Techniques
What the sources say
- Not matchedcites [16] 16. AED Programmer's Guide. SofTech, Inc., Waltham, Mass. 1972.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“The definition of a handler's reach makes it possible to associate a handler with more than one activation point.This makes programs more readable than if a handler could be associated with only one activation point•”
§ Exception Handling: Issues and a Proposed Notation > 3.1 Associating Exception Handlers With Operations
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“They are not necessarily rarely activated.For example, in their use in dealing with result classification, they might be activated on every invocation of an operation.In their use in monitoring operations and receiving intermediate results, an exception might occur many times for a single invocation of the operation.”
§ Exception Handling: Issues and a Proposed Notation > Communications
hedged- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“In this paper I propose a notation that is neutral with respect to its implementation, so that exceptions raised by different operations can potentially be implemented differently, depending on their expected frequency and type of use.”
§ Exception Handling: Issues and a Proposed Notation > Communications
hedgedconditional- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“They all have serious drawbacks of one kind or another, but to place the paper in perspective, it is useful to review other exception handling approaches briefly.”
§ Exception Handling: Issues and a Proposed Notation > 2. Previous Exception Handling Techniques
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“In essence, exceptions permit the user of an operation to extend an operation's domain (the set of inputs for which effects are defined) or its range (the effects obtained when certain inputs are processed).”
§ Exception Handling: Issues and a Proposed Notation > Abstract
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“In short, exceptions serve to generalize operations, making them usable in a wider variety of contexts than would otherwise be the case.”
§ Exception Handling: Issues and a Proposed Notation > Abstract
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“The ESCAPE statement serves naturally as a multilevel loop exiting method, e.g.When X is raised, both the inner and outer loops will be terminated.”
§ Exception Handling: Issues and a Proposed Notation > Number 12
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“But this additional EXIT command complexity provides no new expressive power, and only makes the EXIT statement more complex to implement and understand.”
§ Exception Handling: Issues and a Proposed Notation > Number 12
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“(c) the need to clean up before terminating an operation (the CLEANUP optional exception associated with SIGNAL) ;”
§ Exception Handling: Issues and a Proposed Notation > Number 12
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Doing so is useful and will drastically reduce the number of exceptions that would otherwise have to be passed up to the main program.”
§ Exception Handling: Issues and a Proposed Notation > 3.4 Exception Handling Hierarchies
boosteddirect- Asserted: passes — The authors put it forward as true.
- Checkable: fails — It may be too vague to check against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. It may be too vague to check against evidence. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“The exception handling method being proposed in this paper permits an invoker to terminate or resume operations and it makes control flow constraints explicit.”
§ Exception Handling: Issues and a Proposed Notation > Number 12
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“N O T I F Y exceptions are defined and raised similarly, and the N O T I F Y control flow constraints can similarly be enforced by a compiler.”
§ Exception Handling: Issues and a Proposed Notation > Number 12
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“whatever effects can be achieved with run-time association can be achieved by the proposed static method with equal convenience and with increased reliability.”
§ Exception Handling: Issues and a Proposed Notation > 3.1 Associating Exception Handlers With Operations
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“(1) Declaration of default exceptions.To help prevent and detect mistakes in using exceptions, exceptions having default handlers should be declared to have them.”
§ Exception Handling: Issues and a Proposed Notation > 3.3 Default Exception Handling
plain- Asserted: passes — The authors put it forward as true.
- Checkable: fails — It may be too vague to check against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. It may be too vague to check against evidence.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“N o t providing such a c o m m a n d is too restrictive, since programming by stepwise refinement or levels of abstraction implies that top level programs will be unaware of many exceptions raised at lower levels.”
§ Exception Handling: Issues and a Proposed Notation > 3.4 Exception Handling Hierarchies
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: fails — It may be too vague to check against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. It may be too vague to check against evidence.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“The default exception handling capability described here is not necessarily difficult to implement.”
§ Exception Handling: Issues and a Proposed Notation > ENDPAGE ENDPAGE 693
hedged- Asserted: passes — The authors put it forward as true.
- Checkable: fails — It may be too vague to check against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. It may be too vague to check against evidence. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“(3) Uniformity.The methods for overriding or invoking default exception handlers should be the same for both system-defined and programmer-defined default exceptions.”
§ Exception Handling: Issues and a Proposed Notation > 3.3 Default Exception Handling
plain- Asserted: passes — The authors put it forward as true.
- Checkable: fails — It may be too vague to check against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. It may be too vague to check against evidence. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“(d) the ability to define an exception handler for normal termination of an operation (ENDED).”
§ Exception Handling: Issues and a Proposed Notation > Number 12
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“and the need to provide a value for a function or expression when exiting a handler (the valued EXIT statement, e.g.EXIT (6));”
§ Exception Handling: Issues and a Proposed Notation > Number 12
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“A compiler can verify that the handler for X does not attempt to resume F, and that the implementer of F does not make incorrect assumptions about whether F can or cannot be resumed after raising exceptions X or Y.”
§ Exception Handling: Issues and a Proposed Notation > Number 12
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Nonetheless, the notation presents an opportunity that is foreclosed by the other methods.”
§ Exception Handling: Issues and a Proposed Notation > 3.1 Associating Exception Handlers With Operations
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: fails — It may be too vague to check against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. It may be too vague to check against evidence.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“In short, the ability to treat groups of exceptions identically before passing the exceptions to other handlers is important for notational conciseness”
§ Exception Handling: Issues and a Proposed Notation > 3.4 Exception Handling Hierarchies
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: fails — It may be too vague to check against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. It may be too vague to check against evidence.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“The various situations in which exceptions are useful present different possibilities for resuming or terminating an operation.”
§ Exception Handling: Issues and a Proposed Notation > 3.2 Control Flow Issues
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“There are definite advantages in having to examine all intervening programs to see how they are affected by the new exception, and the proposed notation forces such an examination to be carried out.”
§ Exception Handling: Issues and a Proposed Notation > 3.4 Exception Handling Hierarchies
boosteddirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“(b) the need to deal with an exception first locally and then more globally (e.g.ESCAPE X from within a handler for X);”
§ Exception Handling: Issues and a Proposed Notation > Number 12
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“When a valued EXIT statement terminates a handler attached to a function body, the effect is the same as a normal return, e.g.F: PROCEDURE(... ) RETURNS(FIXED); END F; [OVERFLOW: EXIT (-1);] F returns the value --1 if this OVERFLOW handler is executed.”
§ Exception Handling: Issues and a Proposed Notation > Number 12
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Default exceptions are notationally essential.”
§ Exception Handling: Issues and a Proposed Notation > 3.3 Default Exception Handling
plain- Asserted: passes — The authors put it forward as true.
- Checkable: fails — It may be too vague to check against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. It may be too vague to check against evidence.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“(4) Explicit invocation of default handlers.A programmer must be able to specify explicitly as well as implicitly whether a default handler is to be invoked or overridden, or whether the decision is to be made by a higher level handler.”
§ Exception Handling: Issues and a Proposed Notation > 3.3 Default Exception Handling
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“the key advantage of the method proposed in this paper is that any of the various implementation techniques can be used, and in a properly supported system, a programmer will be able to specify with a compiler directive what method of im-plementation will be used for particular exceptions.”
§ Exception Handling: Issues and a Proposed Notation > 3.1 Associating Exception Handlers With Operations
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“The implementation neutrality 2 of the proposed notation is one of its most attractive properties, although admittedly, there are few or no systems in existence that would permit this property to be exploited.”
§ Exception Handling: Issues and a Proposed Notation > 3.1 Associating Exception Handlers With Operations
hedged- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“(2) Readability~simplicity~uniformity.The use of ES-CAPE-type exceptions to support multilevel loop exits in GOTO-free programming (ESCAPE to handlers associated with loops or statement groups);”
§ Exception Handling: Issues and a Proposed Notation > Number 12
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“For example, status variables are appropriate for dealing with result classification exceptions, but since the status value methods require terminating an operation before the status value can be processed, this technique is not suitable for notifying or signaling.”
§ Exception Handling: Issues and a Proposed Notation > 3.2 Control Flow Issues
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“This example shows that EXIT terminates the whole syntactic unit to which the handler is attached as well as the operation raising the exception.”
§ Exception Handling: Issues and a Proposed Notation > Number 12
boosteddirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. It may state two separate claims as one. The quote only partly states this claim.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“(2) Programmer-defined deJault handlers.It should be possible to establish default exceptions and handlers for programmer-defined subroutine packages; the concept of a default exception should not be limited to system-defined operations (addition, I/O, etc.)”
§ Exception Handling: Issues and a Proposed Notation > 3.3 Default Exception Handling
plain- Asserted: passes — The authors put it forward as true.
- Checkable: fails — It may be too vague to check against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. It may be too vague to check against evidence.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“An EXIT from a handler attached to a procedure body is equivalent to a normal return from the procedure.”
§ Exception Handling: Issues and a Proposed Notation > Number 12
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“For example, t'L/I permits an invoker to resume or terminate any operation raising an exception, but it does not permit expressing constraints about whether termination or resumption is permitted or required.”
§ Exception Handling: Issues and a Proposed Notation > 3.2 Control Flow Issues
What the sources say
- Not matchedcites [13] 13. Parnas, D.L. Response to detected errors in well-structured programs. Dep. of Computer Sci., Carnegie-Mellon University, Pittsburgh, Pa., July 1972.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“As for the second requirement, the ability to pass an exception to a main program's environment, it is perfectly reasonable to provide a c o m m a n d for raising an exception in the main program's environment without first passing it up to the main program.”
§ Exception Handling: Issues and a Proposed Notation > 3.4 Exception Handling Hierarchies
boosted- Asserted: passes — The authors put it forward as true.
- Checkable: fails — It may be too vague to check against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. It may be too vague to check against evidence.
In the paper
“Moreover, exception handling actions can percolate up from an operation raising an exception until some invoker is found who is able to deal with the exception, or once the exception has reached the highest level, default handlers can be invoked successively from higher to lower levels until a default handier has successfully dealt with the exception (cf.[22, pp. 189-198]).”
§ Exception Handling: Issues and a Proposed Notation > ENDPAGE ENDPAGE 693
What the sources say
- Not matchedcites [22, pp. 189-198]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“(a) The ability to avoid explicit GOTOs to terminate an operation raising an exception: the need to express that a handler is being exited (the nonvalued EXIT statement)”
§ Exception Handling: Issues and a Proposed Notation > Number 12
plain- Asserted: passes — The authors put it forward as true.
- Checkable: fails — It may be too vague to check against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. It may be too vague to check against evidence.
The paper relies on this without support.
The full meaning of an exception is known only outside the operation that detects it, and that operation cannot by itself decide what should happen after the exception is raised.
“an exception's full significance is known only outside the detecting operation; the operation is not permitted to determine unilaterally what is to be done after an exception is raised”
The authors state this as an assumption.
Language-defined exceptions like OVERFLOW will be defined as default exceptions.
“I assume that languagedefined exceptions like OVERFLOW will be defined as default exceptions so a programmer does not have to provide an explicit handler for every operation able to raise such exceptions.”
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
Each contradiction between two passages listed here was confirmed by an independent check.
Rated minor: it would not touch a result — a value no result rests on, a p-value that stays on the same side of the significance level, or a conflict that is clerical, resolved elsewhere in the paper, or outside its own findings.
In the paper
§ Exception Handling: Issues and a Proposed Notation > 3.1 Associating Exception Handlers With Operations
“The notation for associating handlers with loops and subroutine calls is similar to that proposed by Bochmann [20] and Zahn [26].”
§ Exception Handling: Issues and a Proposed Notation > References
“26. Knuth, D.E. Structured programming with goto statements. Comp. Surv. 6, 4 (Dec. 1974), 261-301.”
Rated minor: it would not touch a result — a value no result rests on, a p-value that stays on the same side of the significance level, or a conflict that is clerical, resolved elsewhere in the paper, or outside its own findings.
In the paper
§ Exception Handling: Issues and a Proposed Notation > 3.1 Associating Exception Handlers With Operations
“The notation for associating handlers with loops and subroutine calls is similar to that proposed by Bochmann [20] and Zahn [26].”
§ Exception Handling: Issues and a Proposed Notation > References
“20. Homing, J.J., Lauer, H.C., Melliar-Smith, P.M. and Randell, B. A program structure for error detection and recovery. In Operating Systems, E. Gelenbe and C. Kaiser (Eds.), Springer- Verlag, New York, 1974, pp. 171-187.”
Citations
Cites
The Art of Computer Programming
Knuth, D. E. (1968) · Cited by 16,097
(2011) · doi:10.1007/springerreference_25828 · Cited by 1,200
The structure of the “THE”-multiprogramming system
Dijkstra, E. W. (1968) · Communications of the ACM · doi:10.1145/363095.363143 · Cited by 1,102
Programming with abstract data types
(1974) · doi:10.1145/800233.807045 · Cited by 735
A technique for software module specification with examples
Parnas, D. L. (1972) · Communications of the ACM · doi:10.1145/355602.361309 · Cited by 726
Dijkstra, E. W. (1972) · Communications of the ACM · doi:10.1145/355604.361591 · Cited by 705
Structured Programming with go to Statements
Knuth, D. E. (1974) · ACM Computing Surveys · doi:10.1145/356635.356640 · Cited by 678
(1942) · doi:10.2307/3028462 · Cited by 638
Language: Its Nature, Development, and Origin
Kent, R. G., & Jespersen, O. (1923) · Modern Language Journal · doi:10.2307/313841 · Cited by 559
Golomb, S. W., & Baumert, L. D. (1965) · Journal of the ACM · doi:10.1145/321296.321300 · Cited by 498
Research works printed but not linked: 9
- Woodger M., 1972, Proc. IFIP Congress 71, 402
- Parnas D.L., 1972, Pa.
- Hill I.D., 1972, ALGOL and FORTRAN. Computer J., 14, 3
- Noble J.M., 1969, Proc. 1FIP Congress 68, C78
- Homing J.J., 1974, Springer- Verlag, 171
- Organick E.L, 1972, Mass., 187
- 10.5555/647323.760249 · DOI
- Ross D.T., 1970, Academic Press, 91
- 10.5555/647323.721500 · DOI
Cited by
Sorted by citations
Items 101–200 of 496
An annotation-aware Java virtual machine implementation
Azevedo, A., Nicolau, A., & Hummel, J. (2000) · Concurrency Practice and Experience · doi:10.1002/1096-9128(200005)12:6 · Cited by 8
Adaptive exception handling for scientific workflows
(2009) · doi:10.1002/cpe.1487 · Cited by 25
Automatic runtime recovery via error handler synthesis
Gu, T., Sun, C. P., Ma, X., Lü, J., & Su, Z. (2016) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1145/2970276.2970360 · Cited by 25
(2007) · doi:10.1145/1229485.1229486 · Cited by 25
Finding and preventing run-time error handling mistakes
(2004) · doi:10.1145/1035292.1029011 · Cited by 24
A generic kernel for reliable process support
(1999) · doi:10.3929/ethz-a-002056095 · Cited by 24
(1993) · doi:10.1145/155360.155375 · Cited by 24
Exception handling design issues
(1975) · doi:10.1145/987305.987313 · Cited by 23
(1977) · doi:10.1145/390017.808307 · Cited by 23
Context-aware exception handling in mobile agent systems
(2006) · doi:10.1145/1138063.1138071 · Cited by 23
DeW: a dependable web services framework
(2004) · doi:10.1109/ride.2004.1281710 · Cited by 23
Exceptions and Aspects: The Devil is in the Details
(2008) · Cited by 22
(2005) · doi:10.1007/11557432_43 · Cited by 22
(1977) · doi:10.1145/390017.808316 · Cited by 21
Exception Handling during Asynchronous Method Invocation
(2002) · doi:10.1007/3-540-45706-2_90 · Cited by 21
Integrating support for undo with exception handling
(2004) · Cited by 21
Technical Dimensions of Programming Systems
Jakubovic, J., Edwards, J., & Petricek, T. (2023) · The Art Science and Engineering of Programming · doi:10.22152/programming-journal.org/2023/7/13 · Cited by 21
The when, why and why not of the BETA programming language
(2007) · doi:10.1145/1238844.1238854 · Cited by 21
Performance monitoring in computer systems
(1981) · doi:10.1145/1041500.1041501 · Cited by 21
(2015) · doi:10.1145/2755970 · Cited by 20
Robust software - no more excuses
(2003) · doi:10.1109/dsn.2002.1028895 · Cited by 20
Accepting blame for safe tunneled exceptions
(2016) · doi:10.1145/2908080.2908086 · Cited by 19
A review on exception analysis
(2016) · doi:10.1016/j.infsof.2016.05.003 · Cited by 19
Axioms and proof rules for Ada tasks
(1982) · doi:10.1049/ip-e:19820010 · Cited by 19
(2001) · doi:10.1007/3-540-45136-6_23 · Cited by 18
Accountability in multi-agent organizations: from conceptual design to agent programming
Baldoni, M., Cristina Baroglio, A., Micalizio, R., & Tedeschi, S. (2022) · Autonomous Agents and Multi-Agent Systems · doi:10.1007/s10458-022-09590-6 · Cited by 18
Motivating Time as a First Class Entity
(1987) · Cited by 18
Global-Aware Recommendations for Repairing Violations in Exception Handling
Adachi, E., & Garcia, A. (2017) · IEEE Transactions on Software Engineering · doi:10.1109/tse.2017.2716925 · Cited by 18
Program optimization and exception handling
(1981) · doi:10.1145/567532.567554 · Cited by 18
Handling Software Faults with Redundancy
(2009) · doi:10.1007/978-3-642-10248-6_7 · Cited by 17
(1993) · doi:10.1145/155360.155367 · Cited by 17
An architecture for exception management in multiagent systems
(2008) · doi:10.1504/ijaose.2008.019420 · Cited by 17
The Ethernet approach to grid computing
(2004) · doi:10.1109/hpdc.2003.1210024 · Cited by 17
An analysis approach for testing exception handling programs
(2007) · doi:10.1145/1288258.1288259 · Cited by 17
(1990) · doi:10.1007/978-3-7091-8990-0_3 · Cited by 16
Influences on the design of exception handling
(2003) · doi:10.1145/885638.885644 · Cited by 16
Exception handling—A static approach
(1984) · doi:10.1002/spe.4380140504 · Cited by 16
What is the meaning of these constant interruptions?
(2007) · doi:10.1017/s0956796807006363 · Cited by 16
Current trends in exception handling
(2000) · doi:10.1109/tse.2000.879816 · Cited by 15
Composing architectural aspects based on style semantics
(2009) · doi:10.1145/1509239.1509254 · Cited by 14
Assessing Intra-application Exception Handling Reuse with Aspects
(2009) · doi:10.1109/sbes.2009.21 · Cited by 14
An Optimal Approach to Fault Tolerant Software Systems Design
(1978) · doi:10.1109/tse.1978.233859 · Cited by 14
A Definition of Exceptions in Agent-Oriented Computing
(2007) · doi:10.1007/978-3-540-75524-1_9 · Cited by 14
Modular Verification of Object-Oriented Programs with Subtypes
(1990) · Cited by 13
Zero-overhead exception handling using metaprogramming
(1997) · doi:10.1007/3-540-63774-5_122 · Cited by 13
Towards the Generation of Efficient Code from Verified Programs
(1983) · Cited by 13
(1993) · doi:10.1145/154766.155367 · Cited by 13
Exception Flows Made Explicit: An Exploratory Study
(2009) · doi:10.1109/sbes.2009.11 · Cited by 13
(1986) · doi:10.1109/ms.1986.234397 · Cited by 13
Analyzing Exception Flow in Java™ Programs
(1999) · doi:10.1007/3-540-48166-4_20 · Cited by 13
Toward a design methodology for DBMS: a software engineering approach
(1977) · Cited by 13
Coverage-based testing strategies and reliability modeling for fault-tolerant software systems
Lyu, R. T., & Cai, X. (2006) · Cited by 12
How Java Programmers Test Exceptional Behavior
(2021) · doi:10.1109/msr52588.2021.00033 · Cited by 12
XGBoost Based Supply Chain Fraud Detection Model
Wan, F. (2021) · International Conference on Big Data, Artificial Intelligence and Internet of Things Engineering (ICBAIE) · doi:10.1109/icbaie52039.2021.9390041 · Cited by 14
Exception handling in large Ada systems
(1991) · doi:10.1145/134494.134503 · Cited by 12
On exceptions and the software development life cycle
(2008) · doi:10.1145/1454268.1454273 · Cited by 12
Planning for the Unexpected: Exception Handling and BPM
(2013) · doi:10.1007/978-3-642-36754-0_8 · Cited by 12
A Methodology for Adapting to Patterns of Faults
(2007) · doi:10.1007/978-0-585-27377-8_2 · Cited by 12
Exception handling: Expecting the unexpected
(1994) · doi:10.1016/0096-0551(94)90015-9 · Cited by 12
Proposed notation for exception handling in UML 2 sequence diagrams
(2006) · doi:10.1109/aswec.2006.41 · Cited by 11
OSL: An Algorithmic Skeleton Library with Exceptions
(2013) · doi:10.1016/j.procs.2013.05.189 · Cited by 11
On the structure of zero finders
(1977) · doi:10.1007/bf01932288 · Cited by 11
Exception-Aware Requirements Elicitation with Use Cases
(2006) · doi:10.1007/11818502_12 · Cited by 11
Exception handling in parallel computations
(1985) · doi:10.1145/382286.382385 · Cited by 11
Exception Handling with Multi-Exit Statements
(1980) · doi:10.1007/978-3-642-67600-0_6 · Cited by 11
(2010) · doi:10.1007/978-3-642-13688-7_14 · Cited by 11
Processes in electronic commerce
(2003) · doi:10.1109/ecmdd.1999.776413 · Cited by 11
Metadata
- Authors
- Goodenough, J. B.
- Affiliations
- SofTech, Inc., Waltham, MA
- Corresponding author
- Goodenough, John B.
- Venue
- Communications of the ACM
- Published
- 1975-12
- Volume
- 18
- Issue
- 12
- Pages
- 683-696
- ISSN
- 0001-0782 (ISSN-L)
- 1557-7317
- OpenAlex
- W2071136304
- Semantic Scholar
- 5300f92dba234f183230d656a4dc16d9cbda9f73
- Cited by
- 496
- References
- 38
- Citations by year
- 2026: 2 · 2025: 2 · 2024: 2 · 2023: 9 · 2022: 4 · 2021: 8 · 2020: 2 · 2019: 5 · 2018: 8 · 2017: 5 · 2016: 13 · 2015: 18 · 2014: 15 · 2013: 13 · 2012: 13
- FWCI
- 15.74
- Type
- journal article
- Language
- en
- Open access
- bronze
- doi.org
- Locations
- Communications of the ACM (publishedVersion)
- Topics
- Physical Sciences › Computer Science › Software › Logic, programming, and type systems
- Physical Sciences › Computer Science › Computer Networks and Communications › Distributed systems and fault tolerance
- Physical Sciences › Computer Science › Software › Software Testing and Debugging Techniques
- Keywords
- exception handling, programming language features, language design, error recovery
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
A language model drew the claims from the paper on 2026-09-28, under version 3 of the claim definition (prompt extract-v3).
A second model labelled each claim on 2026-09-28 (model jev-1.13-20260917, definition revision gold-guideline-v0.2).
Cited sources are checked with a language model’s help (gpt-6-sol).
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
