178
Voted
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
118
Voted
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We present the first formalization of implementation straor first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) ...
99
Voted
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
109
Voted
ESAW
2000
Springer
15 years 7 months ago
2000
Springer
While agents have emphasised the notion of active software components, they are not likely to be the only active components in agent-based systems. In this paper, we first discuss ...
138
Voted
ESAW
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems. This approach relies on a fe...