Conditional effects in fine-grained region logic.

Yuyan Bao Gary T. Leavens Gidon Ernst

Published in: FTfJP@ECOOP (2015)

Keyphrases

fine grained
coarse grained
access control
conditional logic
tightly coupled
modal logic
massively parallel
logic programming
classical logic