SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs.
Nikhil SwamyAseem RastogiAymeric FromherzDenis MerigouxDanel AhmanGuido MartínezPublished in: CoRR (2021)
Keyphrases
- lambda calculus
- concurrent programming
- dynamic logic
- data model
- concurrent programs
- logic programming
- classical logic
- higher order
- automatic programming
- predicate logic
- automated reasoning
- mutual exclusion
- answer sets
- declarative semantics
- object oriented
- neural network
- recursive programs
- highly flexible
- database
- sound and complete axiomatization
- set theory
- fixpoint
- multi valued
- modal logic
- logic programs
- general purpose
- high level
- data sets
- defeasible logic
- computer programs
- application specific
- proof theory
- agent programming
- programs written
- runtime environment
- bayesian networks