Algebra-Based Reasoning for Loop Synthesis.

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

Published in: Formal Aspects Comput. (2022)

Keyphrases

program synthesis
real time
relational algebra
artificial intelligence
query language
texture synthesis
set theory
search algorithm
relation algebra