Algebra-based Synthesis of Loops and their Invariants (Invited Paper).

Andreas Humenberger Laura Kovács

Published in: CoRR (2021)

Keyphrases

invited paper
program synthesis
imperative programs
invariant features
texture synthesis
quasi invariant
algebraic expressions
moment invariants
relational algebra
query language
machine learning
neural network
affine invariant
information technology
algebraic geometry
website
artificial intelligence