Grisette: Symbolic Compilation as a Functional Programming Library.

Sirui Lu Rastislav Bodík

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

functional programming
functional language
execution model
programming language
quantifier elimination
object oriented programming
high level
database systems
management system
logic programming
fine grained
knowledge compilation