2496 search results - page 132 / 500 » Error-detecting properties of languages |
141
click to vote
DALT
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
136
click to vote
GI
1999
Springer
15 years 8 months ago
1999
Springer
We discuss the properties of strictly typed languages on the one hand and soft typing of the other and identify disadvantages of these approaches to type checking in the context of...
139
click to vote
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies th...
118
click to vote
POPL
1997
ACM
15 years 8 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—wh...
111
click to vote
MFCS
1998
Springer
15 years 7 months ago
1998
Springer
One-way cellular automata with restricted nondeterminism are investigated. The number of allowed nondeterministic state transitions is limited to a constant. It is shown that a lim...