Browse by author
Lookup NU author(s): Emeritus Professor Cliff JonesORCiD
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.
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
