1445 search results - page 9 / 289 » Abstract Interpretation of Logic Programs |
57
Voted
ESOP
2008
Springer
14 years 11 months ago
2008
Springer
154
click to vote
POPL
2004
ACM
15 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 -...
121
Voted
POPL
1999
ACM
15 years 2 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 ¡...
86
Voted
SAS
2004
Springer
15 years 3 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 9 months ago
2008
and Abstract Interpretation for C/C++ Programs Helge L