Exceptions in java and eiffel: two extremes in exception design and application

Authors:
Joseph R. Kiniry
Affiliations:
School of Computer Science and Informatics, University College Dublin, Belfield, Dublin 8, Ireland
Venue:
Advanced Topics in Exception Handling Techniques
Year:
2006

Citing 7
Cited 0

Eiffel: the language

Eiffel: the language
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
A Logic for the Java Modeling Language JML

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))

Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
An overview of JML tools and applications

International Journal on Software Tools for Technology Transfer (STTT) - Special section on formal methods for industrial critical systems
Programming in Modula-2

Programming in Modula-2
ESC/Java2: uniting ESC/Java and JML

CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Quantified Score

Hi-index	0.00

Visualization

Abstract

Exceptions are frequently a controversial language feature with both language designers and programmers. Exceptions are controversial because they complicate language semantics—and thus program design, testing, and verification—and some programmers find them annoying or difficult to use properly. By examining two programming languages that have very different, even opposing, exception mechanisms, a set of exception principles is introduced that summarize the key semantic and social issues surrounding exceptions.