Verifying Array Manipulating Programs with Full-Program Induction.
Supratik ChakrabortyAshutosh GuptaDivyesh UnadkatPublished in: CoRR (2020)
Keyphrases
- functional programs
- computer programs
- program synthesis
- program execution
- prolog programs
- control program
- recursive programs
- functional language
- automatic programming
- computer chess
- programming environment
- logic programs
- java programs
- program slicing
- symbolic execution
- novice programmers
- programming language
- application programs
- intermediate level
- control flow
- functional programming
- high level programming language
- evaluation function
- programming language constructs
- programming education
- proof planning
- stable model semantics
- programming course
- hardware designs
- inductive learning
- high level