The Continuing Quest for Abstraction
No abstract available.
DOI 10.1007/11785477_12
Related papers
- Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy TACAS 2011
- A Semantic Basis for Quest JFP 1991
- The Quest for Efficient Boolean Satisfiability Solvers CAV 2002
- The Quest for Minimal Quotients for Probabilistic Automata TACAS 2013
- Quest Complete: The Holy Grail of Gradual Security PLDI 2024
- Demystifying differentiable programming: shift/reset the penultimate backpropagator ICFP 2019
- OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust TACAS 2024
- Delta-based verification of software product families GPCE 2021