Login / Signup

Abstract non-interference: parameterizing non-interference by abstract interpretation.

Roberto GiacobazziIsabella Mastroeni
Published in: POPL (2004)
Keyphrases
  • abstract interpretation
  • termination analysis
  • high level
  • case study
  • query processing
  • model checking