Syntactic control of interference for separation logic.

Uday S. Reddy John C. Reynolds

Published in: POPL (2012)

Keyphrases

control system
control problems
data sets
natural language
logic programming
control method
process control
automated reasoning
computational properties