Lookup NU author(s): Professor Cliff Jones,
Dr Nisansala Yatapanage
This is the final published version of a report that has been published in its final definitive form by School of Computing, Newcastle University , 2018.
For re-use rights please refer to the publisher's terms and conditions.
Decomposing the design (or documentation) of large systems is a practical necessity;finding compositional development methods for concurrent software is technically challenging.This paper includes the development of a difficult example in order to draw out lessons about such methods.The concurrent garbage collector development is interesting in several ways;in particular, the final step of its development appears to be just beyond what can be expressed by rely/guarantee conditions.This facilitates an exploration of the limitations of this well-known method.Although the rely/guarantee approach is used, the lessons are more general.
Author(s): Jones C, Yatapanage Nisansala
Publication type: Report
Publication status: Published
Series Title: School of Computing Technical Report Series
Print publication date: 27/06/2018
Online publication date: 04/07/2018
Acceptance date: 02/04/2018
Report Number: 1521
Institution: School of Computing, Newcastle University
Place Published: Newcastle upon Tyne