165 search results - page 6 / 33 » Types for atomicity |
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
RR
2007
Springer
15 years 3 months ago
2007
Springer
This work presents a visualization algorithm for defeasible logic rule bases as well as a software tool that applies this algorithm, according to which, a directed graph is produce...
ITP
2010
15 years 1 months ago
2010
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...
81
Voted
ARGMAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...
AMAST
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...