Algebra-Based Loop Synthesis.

Andreas Humenberger Nikolaj Bjørner Laura Kovács

Published in: IFM (2020)

Keyphrases

program synthesis
data model
relational algebra
image processing
query language
functional programs
algebraic expressions
databases
genetic algorithm
case study
multi agent
real numbers
algebraic geometry