Computing Science. Tackling Separation Via Abstraction (with Proofs).

摘要

This paper investigates the use of abstraction to specify and reason about separation in program design. Two case studies are presented: one concerns a sequential program and the other a concurrent application. The examples demonstrate that using separation as an abstraction is a potentially useful approach.