Checking Entailment Between Separation Logic Symbolic Heaps: Beyond Connected and Established Systems.

Mnacho Echenim Radu Iosif Nicolas Peltier

Published in: CoRR (2020)

Keyphrases

high level
distributed systems
logic programming
retrieval systems
connected components
probabilistic logic
real time
machine learning
information retrieval
artificial intelligence
database systems
expert systems
multi valued
asynchronous circuits