Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper).
Andreas HumenbergerLaura KovácsPublished in: VMCAI (2021)
Keyphrases
- invited paper
- data model
- program synthesis
- query language
- affine invariant
- invariant features
- algebraic expressions
- algebraic geometry
- relational algebra
- algebraic operations
- neural network
- boolean algebra
- book constitutes the refereed proceedings
- imperative programs
- projective invariants
- algebraic structure
- real numbers
- moment invariants
- lessons learned
- web services
- information retrieval
- machine learning