12 search results - page 1 / 3 » frocos 2005 |
FROCOS
2005
Springer
13 years 10 months ago
2005
Springer
FROCOS
2005
Springer
13 years 10 months ago
2005
Springer
FROCOS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
FROCOS
2005
Springer
13 years 10 months ago
2005
Springer
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
FROCOS
2005
Springer
13 years 10 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...