Closure Operators for ROBDDs
No abstract available.
Related papers
- Widening ROBDDs with Prime Implicants TACAS 2006
- Partial Model Checking with ROBDDs TACAS 1997
- AIGEN: Random Generation of Symbolic Transition Systems CAV 2021
- Closure-Free Functional Programming in a Two-Level Type Theory ICFP 2024
- Functioning without Closure: Type-Safe Customized Function Representations for Standard ML ICFP 2001
- The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus JFP 2019
- From ML to Ada: Strongly-Typed Language Interoperability via Source Translation JFP 1998
- Search-Based Regular Expression Inference on a GPU PLDI 2023