Practical Exception Specifications

  title={Practical Exception Specifications},
  author={Donna Malayeri and Jonathan Aldrich},
  booktitle={Advanced Topics in Exception Handling Techniques},
Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification systems are impractical in a number of ways. In particular, they are too low-level, too heavyweight, and do not provide adequate support for describing exception policies. We have identified the essential properties of a practical exception specification system and we present a methodology and tool that provides integrated support… CONTINUE READING
Highly Cited
This paper has 29 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 20 extracted citations


Publications referenced by this paper.
Showing 1-10 of 29 references

Encapsulating objects with confined types

  • Guy Steele
  • Java ( TM ) Language Specification , The ( 3 rd…
  • 2005

Java(TM) Language Specification, The (3rd Edition) (Java Series

  • James Gosling, Bill Joy, Guy Steele, Gilad Bracha
  • 2005
1 Excerpt

Similar Papers

Loading similar papers…