A Marriage of Rely/Guarantee and Separation Logic.

Viktor Vafeiadis Matthew J. Parkinson

Published in: CONCUR (2007)

Keyphrases

modal logic
logic programming
proof theory
data sets
databases
multi valued
classical logic
learning algorithm
search engine
case study
logical framework
formal language
formal theory
asynchronous circuits