Graphical Loop Invariant Based Programming.
Géraldine BrievenSimon LiénardyLev MalcevBenoit DonnetPublished in: FMTea (2022)
Keyphrases
- programming language
- graphical interfaces
- moment invariants
- databases
- computer programs
- programming environments
- programming environment
- object oriented programming
- development environment
- affine transformation
- feature extraction
- invariant features
- affine invariant
- computer vision
- programming course
- invariant properties
- machine learning
- high level language
- neural network