2137 search results - page 236 / 428 » Proving Abstract Non-interference |
175
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
107
Voted
FSTTCS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We study the decision theory of a maximally risk-averse investor — one whose objective, in the face of stochastic uncertainties, is to minimize the probability of ever ...
135
Voted
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
124
Voted
ICALP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...
129
Voted
GLOBECOM
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract-- This paper presents a novel mechanism for dynamically adapting the quality of congestion controlled Voice Over IP (VoIP) applications on the internet in real time. The s...