2806 search results - page 26 / 562 » BML and Related Tools |
125
click to vote
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
107
click to vote
CSL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
136
click to vote
ASIAN
2006
Springer
15 years 5 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 ...
92
Voted
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
101
click to vote
AISC
2006
Springer
15 years 5 months ago
2006
Springer
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...