Iron: managing obligations in higher-order concurrent separation logic.
Ales BizjakDaniel GratzerRobbert KrebbersLars BirkedalPublished in: Proc. ACM Program. Lang. (2019)
Keyphrases
- higher order
- deontic logic
- higher order logic
- lambda calculus
- normative systems
- natural images
- high order
- magnetic field
- markov random field
- classical logic
- modal logic
- logic programming
- predicate logic
- steel industry
- lower order
- proof theory
- update semantics
- nonmonotonic logics
- logical framework
- pairwise
- concurrent execution
- data sets
- concurrent programming
- hierarchical reinforcement learning
- mutual exclusion
- low order
- inference rules
- conditional random fields
- hidden markov models
- multi agent systems
- neural network