50 search results - page 2 / 10 » A Simple Calculus of Exception Handling |
119
click to vote
ECOOPWEXCEPTION
2000
Springer
15 years 6 months ago
2000
Springer
This paper motivates and presents the specification and the implementation of an exception handling system for an dynamically typed object-oriented language. A full object-oriented...
125
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 6 months ago
2006
Springer
Asynchronous Active Objects (AAOs), primarily exemplied by actors [1], nowadays exist in many forms (various kinds of actors, agents and components) and are more and more used beca...
109
click to vote
AGENTS
1999
Springer
15 years 7 months ago
1999
Springer
A critical challenge to creating effective agent-based systems is allowing them to operate effectively when the operating environment is complex, dynamic, and error-prone. In this...
107
click to vote
TGC
2005
Springer
15 years 8 months ago
2005
Springer
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
108
click to vote
ENTCS
2006
15 years 2 months ago
2006
In this paper, we look at two categorical accounts of computational effects (strong monad as a model of the monadic metalanguage, adjunction as a model of call-bypush-value with s...