Separation logic.

Peter W. O'Hearn

Published in: Commun. ACM (2019)

Keyphrases

classical logic
logic programming
modal logic
defeasible logic
automated reasoning
real time
image processing
information systems
asynchronous circuits
deontic logic
predicate logic
formal language
multi valued
artificial neural networks
multiscale
website
information retrieval
neural network
data sets