HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
No abstract available.
Related papers
- Symbolic Methods to Enhance the Precision of Numerical Abstract Domains VMCAI 2006
- Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java VMCAI 2014
- An Abstract Domain for Trees with Numeric Relations ESOP 2019
- An abstract memory functor for verified C static analyzers ICFP 2016
- Adding delimited and composable control to a production programming environment ICFP 2007
- From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis SAS 2010
- RacerD: compositional static race detection OOPSLA 2018
- Compiling for multi-language task migration DLS 2015