Toggle Main Menu Toggle Search

Open Access padlockePrints

Tackling Separation via Abstraction (with proofs)

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

Downloads


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