Toggle Main Menu Toggle Search

ePrints

The role of auxiliary variables in the formal development of concurrent programs

Lookup NU author(s): Professor Cliff Jones

Downloads


Abstract

So called "auxiliary variables'' are often used in reasoning about concurrent programs. They can be useful --- but they can also be undesirable in that they can undermine the hard won property of ``compositionality''. This paper explores the issue of auxiliary variables and tries to set concerns about overuse in a wider context; it concludes with an attempt to recommend constraints on their use.


Publication metadata

Author(s): Jones CB

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2009

Print publication date: 01/11/2009

Source Publication Date: November 2009

Report Number: 1179

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/1179.pdf


Share