Persistent Owicki-Gries reasoning: a program logic for reasoning about persistent programs on Intel-x86.
Azalea RaadOri LahavViktor VafeiadisPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- computer programs
- declarative semantics
- computational properties
- automated reasoning
- knowledge base
- automatic programming
- logic programming
- recursive programs
- proof theory
- spatial reasoning
- control program
- formal theory
- causal reasoning
- logical framework
- probabilistic logic
- programming environment
- qualitative reasoning
- functional programs
- logical inference
- human reasoning
- program execution
- reasoning engine
- prolog programs
- intuitionistic logic
- semantics of logic programs
- probabilistic knowledge
- deductive databases
- novice programmers
- stable model semantics
- classical logic
- control flow
- reasoning process
- reasoning tasks
- symbolic execution
- default reasoning
- magic sets
- proof theoretic
- logic programs
- knowledge representation