A Program Logic for Reasoning About C11 Programs With Release-Sequences.
Mengda HeShengchao QinZhiwu XuPublished in: IEEE Access (2020)
Keyphrases
- recursive programs
- computer programs
- declarative semantics
- functional programs
- programs written
- formal theory
- program execution
- control program
- automatic programming
- logic programs
- program synthesis
- logic programming
- java programs
- computer chess
- symbolic execution
- programming environment
- prolog programs
- deductive databases
- declarative programming
- hidden markov models
- high level programming language
- operational semantics
- control flow
- fixpoint
- hardware designs
- novice programmers
- programming language
- modal logic
- spatial reasoning
- classical logic
- dynamic logic
- stable model semantics
- concurrent programming
- semantics of logic programs
- source code
- qualitative reasoning
- magic sets
- operating system
- imperative programs
- intermediate level
- multi valued
- loop formulas
- program slicing
- sequential patterns