2203 search results - page 4 / 441 » Temporal Abstract Interpretation |
255
click to vote
POPL
2004
ACM
16 years 6 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 -...
131
click to vote
CTCS
1989
Springer
15 years 10 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...
163
Voted
AMAST
1997
Springer
15 years 10 months ago
1997
Springer
126
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
al abstract interpretation A formal study using Coq Yves Bertot INRIA Sophia-M
173
Voted
ICLP
2007
Springer
16 years 16 days 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)...