Sciweavers

245 search results - page 11 / 49
» The Use of Multithreading for Exception Handling
Sort
View
DANTE
1999
IEEE
154views Database» more  DANTE 1999»
14 years 29 days ago
Adapting Transactions to Exceptional Situations Using Structured Messages
We concentrate on the property that the progression of collaborative work involves communication among participants, and we consider a flexible method for managing transactions ut...
Sozo Inoue, Mizuho Iwaihara
FGCS
2010
129views more  FGCS 2010»
13 years 7 months ago
Bulk synchronous parallel ML with exceptions
Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementa...
Louis Gesbert, Frédéric Gava, Fr&eac...
ATAL
2005
Springer
14 years 2 months ago
Modeling exceptions via commitment protocols
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
Ashok U. Mallya, Munindar P. Singh
CORR
2010
Springer
102views Education» more  CORR 2010»
13 years 8 months ago
States and exceptions are dual effects
Global states and exceptions form two basic computational effects. In this paper it is proved that they can be seen as dual to each other: the lookup and update operations for glo...
Jean-Guillaume Dumas, Dominique Duval, Laurent Fou...
OOPSLA
2004
Springer
14 years 2 months ago
Finding and preventing run-time error handling mistakes
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...
Westley Weimer, George C. Necula