Product programs and relational program logics.
Gilles BartheJuan Manuel CrespoCésar KunzPublished in: J. Log. Algebraic Methods Program. (2016)
Keyphrases
- computer programs
- program execution
- automatic programming
- control program
- java programs
- programming environment
- prolog programs
- computer chess
- high level programming language
- functional programs
- control flow
- programming environments
- relational data
- novice programmers
- relational databases
- programming education
- symbolic execution
- intermediate level
- program slicing
- hardware designs
- expressive power
- life cycle
- undergraduate engineering
- application programs
- loop formulas
- imperative programs
- high level programming
- declarative semantics
- static analysis
- inference rules
- programming language
- program code
- database language
- program synthesis
- nonmonotonic logics
- recursive programs
- programming course
- set of test cases
- data model
- databases