75 search results - page 1 / 15 » Improving Program Correctness with Atomic Exception Handling |
JUCS
2007
13 years 5 months ago
2007
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
Most modern programming languages rely on exceptions for dealing with abnormal situations. Although exception handling was a significant improvement over other mechanisms like chec...
COMPSAC
2001
IEEE
13 years 9 months ago
2001
IEEE
Designers of component-based software face two problems related to dealing with abnormal events: developing exception handling at the level of the integrated system and accommodat...
OOPSLA
2004
Springer
13 years 11 months ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
ECOOPWEXCEPTION
2006
Springer
13 years 9 months ago
2006
Springer
It is difficult to write programs that behave correctly in the presence of exceptions. We describe a dataflow analysis for finding a certain class of mistakes made while programs h...