SteelCore: an extensible concurrent separation logic for effectful dependently typed programs.
Nikhil SwamyAseem RastogiAymeric FromherzDenis MerigouxDanel AhmanGuido MartínezPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- lambda calculus
- concurrent programming
- concurrent programs
- logic programming
- dynamic logic
- higher order
- declarative semantics
- data model
- classical logic
- object oriented
- modal logic
- markup language
- logic programs
- programming language
- recursive programs
- runtime environment
- programs written
- defeasible logic
- predicate calculus
- predicate logic
- computational properties
- programming environment
- linear logic
- set theory
- fixed order
- stable models
- functional programs
- multi valued
- application specific
- data types
- sound and complete axiomatization