ePrints

Tackling Separation via Abstraction (with proofs)

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD, Dr Nisansala Yatapanage

Downloads

• Published version [.pdf]

Licence

This is the final published version of a report that has been published in its final definitive form by School of Computing Science, University of Newcastle upon Tyne, 2015.

For re-use rights please refer to the publisher's terms and conditions.

Abstract

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.

Publication metadata

Author(s): Jones C, Yatapanage N

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2015

Pages: 24

Print publication date: 01/01/2015

Report Number: 1447

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1447.pdf

Share