31686 search results - page 317 / 6338 » Resource typing in Guru |
100
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
93
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
129
Voted
ASIAN
2006
Springer
15 years 4 months ago
2006
Springer
Interesting properties of programs can be expressed using contextual equivalence. The latter is difficult to prove directly, hence (pre-)logical relations are often used as a tool ...
137
Voted
TLCA
1995
Springer
15 years 4 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
113
click to vote
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...