Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies.
Daniel WrightMark BattyBrijesh DongolPublished in: FM (2021)
Keyphrases
- knowledge representation
- dependency analysis
- dependency graph
- analogical reasoning
- finite state machines
- knowledge representation and reasoning
- reasoning systems
- control flow
- database
- optimal solution
- computer programs
- knowledge base
- artificial intelligence
- causal reasoning
- databases
- temporal reasoning
- answer sets
- data flow
- data exchange
- probabilistic logic
- formal models
- genetic algorithm
- model based reasoning
- machine learning