1445 search results - page 9 / 289 » Abstract Interpretation of Logic Programs |
ESOP
2008
Springer
15 years 1 months ago
2008
Springer
173
Voted
POPL
2004
ACM
16 years 2 days 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 -...
182
click to vote
POPL
1999
ACM
15 years 4 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
99
Voted
SAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
ENTCS
2008
14 years 11 months ago
2008
and Abstract Interpretation for C/C++ Programs Helge L