Sciweavers

1522 search results - page 1 / 305
» Practical Exception Specifications
Sort
View
ECOOPWEXCEPTION
2006
Springer
13 years 10 months ago
Practical Exception Specifications
Abstract. Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification system...
Donna Malayeri, Jonathan Aldrich
ECOOP
2009
Springer
14 years 7 months ago
Failboxes: Provably Safe Exception Handling
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...
Bart Jacobs 0002, Frank Piessens
SIGSOFT
2008
ACM
14 years 7 months ago
Specification of an exception handling system for a replicated agent environment
Exception handling and replication are two mechanisms that increase software reliability. Exception handling helps programmers control situations in which the normal flow of a pro...
Christophe Dony, Chouki Tibermacine, Christelle Ur...
ATVA
2010
Springer
93views Hardware» more  ATVA 2010»
13 years 4 months ago
A Specification Logic for Exceptions and Beyond
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...
Cristian Gherghina, Cristina David
ESAW
2006
Springer
13 years 10 months ago
A Definition of Exceptions in Agent-Oriented Computing
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with `exceptional situations'. The expression `agent exception' is how...
Eric Platon, Nicolas Sabouret, Shinichi Honiden