Sep 5, 2022 · Formulog extends Datalog with a first-order functional language, ergonomic syntax for writing SMT terms, and a robust interface to an SMT solver ...

Formulog is a domain-specific language that makes it possible to write SMT-based static analyses in a way that is close to their mathematical specifications and ...

Formulog extends Datalog with mechanisms for constructing logical terms and reasoning about them with satisfiability modulo theories (SMT) solving; ...

Formulog is a programming language that extends the logic programming language Datalog with SMT solving and first-order functional programming. Formulog was ...

Sep 17, 2020 · We propose Formulog, a domain-specific language that makes it possible to write a range of SMT-based static analyses in a way that is both close to their ...

Formulog sets out to fill this gap by augmenting Datalog with ways to construct and reason about SMT formulas, as well as some first-order functional ...

This work proposes Formulog, a domain-specific language that makes it possible to write a range of SMT-based static analyses in a way that is both close to ...

Oct 8, 2024 · With its combination of Datalog, SMT solving, and functional programming, the language Formulog provides an appealing mix of features for ...

Missing: FP. | Show results with:FP.

Formulog extends the logic programming language Datalog with a first-order functional language and mechanisms for representing and reasoning about SMT formulas; ...