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 条

[31] CONCURRENT PROGRAMS
SKOWRON, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1983, 148 : 258 - 269
[32] THE ROLE OF INDUSTRIALIZATION IN DEVELOPMENT PROGRAMS
Chenery, Hollis B.
[J]. AMERICAN ECONOMIC REVIEW, 1955, 45 (02): : 40 - 57
[33] Progress in deriving concurrent programs: Emphasizing the role of stable guards
Dongol, Brijesh
Mooij, Arjan J.
[J]. MATHEMATICS OF PROGRAM CONSSTRUCTION, 2006, 4014 : 140 - 161
[34] Formal Techniques for Development and Auto-tuning of Parallel Programs
Doroshenko A.
Ivanenko P.
Yatsenko O.
[J]. SN Computer Science, 4 (2)
[35] FORMAL SPECIFICATION AND CONSTRUCTION TECHNIQUES FOR THE DEVELOPMENT OF PROGRAMS WITH GUARANTEED PROPERTIES
BRIX, H
[J]. COMPUTER PHYSICS COMMUNICATIONS, 1986, 41 (2-3) : 245 - 257
[36] On the use of transformed auxiliary variables in estimating population mean by using two auxiliary variables
Gupta, Sat
Shabbir, Javid
[J]. JOURNAL OF STATISTICAL PLANNING AND INFERENCE, 2007, 137 (05) : 1606 - 1611
[37] Logical foundations for compositional verification and development of concurrent programs in UNITY
Collette, P
Knapp, E
[J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1995, 936 : 353 - 367
[38] Test-Driven Development of Concurrent Programs using Concuerror
Gotovos, Alkis
Christakis, Maria
Sagonas, Konstantinos
[J]. ERLANG 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN ERLANG WORKSHOP, 2011, : 51 - 61
[39] A GENERALIZATION OF THE METHOD OF AUXILIARY VARIABLES
ZUBAREV, DN
[J]. DOKLADY AKADEMII NAUK SSSR, 1956, 109 (03): : 489 - 492
[40] STUDY OF VARIABLES IN AUXILIARY VENTILATION
VUTUKURI, VS
[J]. TRANSACTIONS OF THE INSTITUTION OF MINING AND METALLURGY SECTION A-MINING INDUSTRY, 1984, 93 (JAN): : A10 - A16

← 1 2 3 4 5 →