A Separation Logic for Concurrent Randomized Programs.
Joseph TassarottiRobert HarperPublished in: CoRR (2018)
Keyphrases
- concurrent programming
- dynamic logic
- functional programs
- concurrent programs
- logic programming
- recursive programs
- declarative semantics
- predicate logic
- databases
- stable models
- data sets
- computer programs
- neural network
- defeasible logic
- automatic programming
- mutual exclusion
- automated reasoning
- proof theory
- agent programming
- randomized algorithms
- bayesian networks
- logic programs
- runtime environment
- modal logic
- decision forest
- control flow
- probabilistic logic
- multi valued