Separation logic for sequential programs (functional pearl).
Arthur CharguéraudPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- dynamic logic
- functional language
- functional programs
- declarative semantics
- classical logic
- functional programming
- automated reasoning
- recursive programs
- digital circuits
- probabilistic logic
- agent programming
- asynchronous circuits
- multi agent systems
- computer programs
- logic programs
- answer sets
- expert systems
- programming language
- programs written
- level set
- proof theory
- logic programming
- fixpoint
- conditional independence
- automatic programming
- defeasible logic
- horn clauses
- neural network
- stable models