Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation
No abstract available.
Related papers
- Sharing and groundness dependencies in logic programs TOPLAS 1999
- Dependence Flow Graphs: An Algebraic Approach to Program Dependencies POPL 1991
- AIGEN: Random Generation of Symbolic Transition Systems CAV 2021
- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring TACAS 2021
- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation TACAS 2022
- Parametric Circuit Representation Using Inductive Boolean Functions CAV 1993
- Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions CAV 2001
- Boolean Algebra of Shape Analysis Constraints VMCAI 2004