12 search results - page 1 / 3 » frocos 2005 |
FROCOS
2005
Springer
14 years 2 months ago
2005
Springer
FROCOS
2005
Springer
14 years 2 months ago
2005
Springer
FROCOS
2005
Springer
14 years 2 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
14 years 2 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
14 years 2 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...