Graphical Loop Invariant Based Programming.
Géraldine BrievenSimon LiénardyLev MalcevBenoit DonnetPublished in: FMTea (2023)
Keyphrases
- programming language
- graphical interfaces
- programming environment
- machine learning
- invariant representations
- translation invariant
- computer programs
- affine transformation
- search algorithm
- real time
- affine invariant
- moment invariants
- computer programming
- computer science
- invariant properties
- invariant representation
- invariance properties