2203 search results - page 4 / 441 » Temporal Abstract Interpretation |
POPL
2004
ACM
14 years 10 months ago
2004
ACM
NON-INTERFERENCE rizing Non-Interference by Abstract Interpretation Roberto Giacobazzi and Isabella Mastroeni Dipartimento di Informatica Universit`a di Verona Italy POPL'04 -...
CTCS
1989
Springer
14 years 1 months ago
1989
Springer
We combine the principles of the Floyd-Warshall-Kleene algorithm, enriched categories, and Birkhoff arithmetic, to yield a useful class of algebras of transitive vertex-labeled s...
AMAST
1997
Springer
14 years 1 months ago
1997
Springer
CORR
2008
Springer
13 years 9 months ago
2008
Springer
al abstract interpretation A formal study using Coq Yves Bertot INRIA Sophia-M
ICLP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...