31686 search results - page 276 / 6338 » Resource typing in Guru |
96
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
109
click to vote
FLOPS
2008
Springer
15 years 2 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
120
click to vote
DAGSTUHL
2007
15 years 2 months ago
2007
Abstract. In this paper, we consider two particular problems of directed graph matching. The first problem concerns graphs with nodes that have been subdivided into classes of di...
86
Voted
EACL
2006
ACL Anthology
15 years 2 months ago
2006
ACL Anthology
All questions are implicitly associated with an expected answer type. Unlike previous approaches that require a predefined set of question types, we present a method for dynamical...
99
Voted
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...