The Role of Auxiliary Variables in the Formal Development of Concurrent Programs

被引：9
|
作者：
Jones, C. B. [1 ]
机构：
[1] Newcastle Univ, Sch Comp Sci, Newcastle Upon Tyne NE1 7RU, Tyne & Wear, England
来源：
REFLECTIONS ON THE WORK OF C A R HOARE | 2010年
基金：
英国工程与自然科学研究理事会;
关键词：
D O I：
10.1007/978-1-84882-912-1_8
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：167 / 187
页数：21
相关论文
共 50 条
12345