A Binary Decision Tree Abstract Domain Functor
Abstract elided by the publisher.
Related papers
- A Decision Tree Abstract Domain for Proving Conditional Termination SAS 2014
- Lifted static analysis using a binary decision diagram abstract domain GPCE 2019
- FuncTion: An Abstract Domain Functor for Termination - (Competition Contribution) TACAS 2015
- An abstract memory functor for verified C static analyzers ICFP 2016
- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts TACAS 2021
- A parametric segmentation functor for fully automatic and scalable array content analysis POPL 2011
- CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams TOPLAS 2024
- Understanding idiomatic traversals backwards and forwards Haskell 2013