Full-Program Induction: Verifying Array Programs sans Loop Invariants.
Supratik ChakrabortyAshutosh GuptaDivyesh UnadkatPublished in: CoRR (2022)
Keyphrases
- functional programs
- imperative programs
- computer programs
- loop formulas
- program synthesis
- recursive programs
- program execution
- computer chess
- logic programs
- prolog programs
- control program
- programming environment
- symbolic execution
- automatic programming
- high level programming language
- program slicing
- dynamic logic
- inductive learning
- programming environments
- data sets
- evaluation function
- moment invariants
- functional language
- novice programmers
- intermediate level
- java programs
- linear array
- static analysis
- magic sets
- application programs
- affine invariant
- stable model semantics