STAN: A Static Analyzer for CLP(R) Based on Abstract Interpretation
No abstract available.
Related papers
- Trace Partitioning in Abstract Interpretation Based Static Analyzers ESOP 2005
- Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties SAS 2002
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes VMCAI 2007
- Global Analysis of Constraint Logic Programs TOPLAS 1996
- Formal Verification of a C Value Analysis Based on Abstract Interpretation SAS 2013
- A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models CGO 2009
- Galois transformers and modular abstract interpreters: reusable metatheory for program analysis OOPSLA 2015
- An abstract memory functor for verified C static analyzers ICFP 2016