Cosmo: a concurrent separation logic for multicore OCaml.
Glen MévelJacques-Henri JourdanFrançois PottierPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- automated reasoning
- logic programming
- multi valued
- defeasible logic
- data sets
- modal logic
- classical logic
- computational properties
- sound and complete axiomatization
- concurrent programs
- natural deduction
- probabilistic logic
- operating system
- programming language
- predicate logic
- memory management
- multi threaded
- general purpose
- proof theory
- delay insensitive
- concurrent execution
- concurrent programming
- case study
- cell processor
- learning algorithm