Verifying Array Manipulating Programs with Full-Program Induction.
Supratik ChakrabortyAshutosh GuptaDivyesh UnadkatPublished in: TACAS (1) (2020)
Keyphrases
- functional programs
- computer programs
- program synthesis
- recursive programs
- automatic programming
- java programs
- prolog programs
- program execution
- program slicing
- logic programs
- control program
- programming environment
- symbolic execution
- hardware designs
- high level programming language
- novice programmers
- functional language
- inductive logic programming
- intermediate level
- set of test cases
- programming education
- fault localization
- computer chess
- undergraduate engineering
- high level programming
- national science foundation
- magic sets
- machine learning
- model checking
- program code
- programming environments
- programmable logic
- application programs
- control flow
- static analysis
- rule induction
- explanation based learning
- inductive learning
- rough sets