FixBag: A Fixpoint Calculator for Quantified Bag Constraints
No abstract available.
Related papers
- A Coq mechanised formal semantics for realistic SQL queries: formally reconciling SQL and bag relational algebra CPP 2019
- Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems ESOP 1998
- Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form CAV 1995
- A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties CAV 2023
- Fixpoints for the masses: programming with first-class Datalog constraints OOPSLA 2020
- Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas CAV 2024
- Quantifier Elimination and Parametric Polymorphism in Programming Languages JFP 1992
- Deciding Extensions of the Theories of Vectors and Bags VMCAI 2009