Comparing Completeness Properties of Static Analyses and Their Logics
From MaRDI portal
Publication:5385595
DOI10.1007/11924661_12zbMath1168.68364MaRDI QIDQ5385595
Publication date: 6 May 2008
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11924661_12
03B70: Logic in computer science
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Summarized Dimensions Revisited, What You Lose is What You Leak: Information Leakage in Declassification Policies, Extracting Program Logics From Abstract Interpretations Defined by Logical Relations, Internal and External Logics of Abstract Interpretations, Observational Completeness on Abstract Interpretation, Inverse-limit and topological aspects of abstract interpretation, 3-valued abstraction: More precision at less cost, Abstract Interpretation From a Denotational-semantics Perspective, Modelling declassification policies using abstract domain completeness, Abstract Interpretation from a Topological Perspective