Algebra-Based Reasoning for Loop Synthesis.

Andreas Humenberger Daneshvar Amrollahi Nikolaj S. Bjørner Laura Kovács

Published in: CoRR (2022)

Keyphrases

query language
algebraic expressions
data model
program synthesis
databases
texture synthesis
real time
boolean algebra
relational databases
search algorithm
object oriented
multiscale
artificial intelligence
data sets
algebraic geometry
database
distributive lattices