Login / Signup
Abstract non-interference: parameterizing non-interference by abstract interpretation.
Roberto Giacobazzi
Isabella Mastroeni
Published in:
POPL (2004)
Keyphrases
</>
abstract interpretation
termination analysis
high level
case study
query processing
model checking