Carl F. Schaefer, Gary N. Bundy  Home/Search
Context
Related
Links: ACM DBLP | cs.ubc.ca/local/reading/pr...spe858.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.ubc.ca/local/reading/...spetoc (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper describes exception handling in Ada and develops certain notions useful in computing the propagation of exceptions. Following this, we describe a tool for analyzing exception handling in Ada code and discuss the use of the tool to detect violations of application-specific design and coding guidelines (Update)
Active bibliography (related documents): More All
0.5: SOFTWARE---PRACTICE AND EXPERIENCE, VOL. 22(4), 317--348 .. - Jorge Daz-Herrera Ronald (Correct)
0.2: Error Scope on a Computational Grid: Theory and Practice - Thain, Livny (2002) (Correct)
0.2: Coordinating Access to Computation and Data in Distributed Systems - Thain (2004) (Correct)
Similar documents based on text: More All
0.3: Component-Based Web Technologies for Data Management - Colshire (2002) (Correct)
0.2: Regaining Control of Exception Handling - Robillard, Murphy (1999) (Correct)
0.2: Worst-case timing analysis of exception handling in Ada - Roderick Chapman (1993) (Correct)
BibTeX entry: (Update)
@article{ schaefer93static,
author = "Carl F. Schaefer and Gary N. Bundy",
title = "Static Analysis of Exception Handling in Ada",
journal = "Software - Practice and Experience",
volume = "23",
number = "10",
pages = "1157-1174",
year = "1993",
url = "citeseer.ist.psu.edu/schaefer93static.html" }
Citations (may not include all citations):54 Exception handling: issues and a proposed notation (context) - Goodenough - 1975 DBLP
50 Evaluation of safety-critical software (context) - Parnas, van Schouwen et al. - 1990 ACM DBLP
49 Advances in software inspections (context) - Fagan - 1986 ACM DBLP
42 Rationale for the design of the Ada programming language (context) - Ichbiah - 1979 ACM
16 Exception handling in CLU (context) - Liskov, Snyder - 1979 DBLP
9 Van Nostrand Reinhold (context) - Consortium, Quality - 1989
7 Data-oriented exception handling (context) - Cui, Gannon - 1992 ACM DBLP
4 Exception handling in large Ada systems (context) - Howell, Mularz - 1991 ACM
4 DIANA: An Intermediate Language for Ada (context) - Goos, Wulf et al. - 1983 ACM
2 ANSIMilitary Standard MIL STD A (context) - for, Programming et al. - 1983
1 when bad things happen to good programs (context) - Howell, Mularz et al. - 1992
Documents on the same site (http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/spetoc.htm): More
Linkage Analysis of Processes - Yaung, Raz (1992) (Correct)
A Scheme for Little Languages in Interactive Graphics - Beckman (1991) (Correct)
A Dataflow Approach to Event-based Debugging - Olsson, Crawford, Ho (1991) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC