Data flow analysis is model checking of abstract interpretations
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Trace-Based Abstract Interpretation of Operational Semantics
Lisp and Symbolic Computation
Abstract interpretation of operational semantics for secure information flow
Information Processing Letters
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
A Symbolic Semantics for Abstract Model Checking
SAS '98 Proceedings of the 5th International Symposium on Static Analysis
Abstract interpreters for free
SAS'10 Proceedings of the 17th international conference on Static analysis
Shape analysis in the absence of pointers and structure
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Control-flow analysis of functional programs
ACM Computing Surveys (CSUR)
A Denotational Semantics for the π-Calculus
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Hi-index | 0.00 |