A separation logic for negative dependence.

Jialu Bao Marco Gaboardi Justin Hsu Joseph Tassarotti

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

positive and negative
logic programming
modal logic
classical logic
predicate logic
asynchronous circuits
real time
data sets
real world
training data
expert systems
color images
probabilistic logic
computational properties
set theory