Full-program induction: verifying array programs sans loop invariants.
Supratik ChakrabortyAshutosh GuptaDivyesh UnadkatPublished in: Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
- functional programs
- imperative programs
- computer programs
- loop formulas
- logic programs
- program execution
- program synthesis
- control program
- computer chess
- automatic programming
- programming environment
- recursive programs
- functional language
- symbolic execution
- prolog programs
- programming environments
- high level programming language
- program slicing
- answer sets
- application programs
- java programs
- dynamic logic
- control flow
- stable models
- model checking
- inductive logic programming
- declarative semantics
- novice programmers
- intermediate level
- functional programming
- programs written
- inductive inference
- hardware designs
- programming language
- undergraduate engineering
- set of test cases
- affine invariant
- static analysis
- data sets