Towards the synthesis of asynchronous concurrent programs

D. K. Arvind; B. R. J. McConnell

doi:10.1007/3-540-58430-7_12

Towards the synthesis of asynchronous concurrent programs

D. K. Arvind, B. R. J. McConnell

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

The emergence of massively parallel computers poses new challenges for programming them. The purpose of this work is to explore and develop methods for formally infusing concurrency and communication into programs. We investigate a “proofs-to-programs” approach, where specifications which are written in a particular specification language L_S(Σ) are shown to be consistent by using a logical calculus associated with the language. An examination of the structure of the resulting proof tree yields a program in an implementation language L_I(Σ). Various parallel implementations of the programs are studied by examining their dependence graph, and an asynchronous operational semantics is presented.

Original language	English
Title of host publication	Parallel Processing: CONPAR 94 — VAPP VI
Subtitle of host publication	Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings
Editors	Bruno Buchberger, Jens Volkert
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	124-135
Number of pages	12
ISBN (Print)	978-3-540-48789-0
DOIs	https://doi.org/10.1007/3-540-58430-7_12
Publication status	Published - 1994

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	854
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/3-540-58430-7_12

http://dx.doi.org/10.1007/3-540-58430-7_12

Cite this

Arvind, D. K., & McConnell, B. R. J. (1994). Towards the synthesis of asynchronous concurrent programs. In B. Buchberger, & J. Volkert (Eds.), Parallel Processing: CONPAR 94 — VAPP VI: Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings (pp. 124-135). (Lecture Notes in Computer Science; Vol. 854). Springer. https://doi.org/10.1007/3-540-58430-7_12

Arvind, D. K. ; McConnell, B. R. J. / Towards the synthesis of asynchronous concurrent programs. Parallel Processing: CONPAR 94 — VAPP VI: Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings. editor / Bruno Buchberger ; Jens Volkert. Berlin, Heidelberg : Springer, 1994. pp. 124-135 (Lecture Notes in Computer Science).

@inproceedings{962775cb37c14977971a0ff6576811e5,

title = "Towards the synthesis of asynchronous concurrent programs",

abstract = "The emergence of massively parallel computers poses new challenges for programming them. The purpose of this work is to explore and develop methods for formally infusing concurrency and communication into programs. We investigate a “proofs-to-programs” approach, where specifications which are written in a particular specification language LS(Σ) are shown to be consistent by using a logical calculus associated with the language. An examination of the structure of the resulting proof tree yields a program in an implementation language LI(Σ). Various parallel implementations of the programs are studied by examining their dependence graph, and an asynchronous operational semantics is presented.",

author = "Arvind, {D. K.} and McConnell, {B. R. J.}",

year = "1994",

doi = "10.1007/3-540-58430-7_12",

language = "English",

isbn = "978-3-540-48789-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "124--135",

editor = "Bruno Buchberger and Jens Volkert",

booktitle = "Parallel Processing: CONPAR 94 — VAPP VI",

address = "United Kingdom",

}

Arvind, DK & McConnell, BRJ 1994, Towards the synthesis of asynchronous concurrent programs. in B Buchberger & J Volkert (eds), Parallel Processing: CONPAR 94 — VAPP VI: Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings. Lecture Notes in Computer Science, vol. 854, Springer, Berlin, Heidelberg, pp. 124-135. https://doi.org/10.1007/3-540-58430-7_12

Towards the synthesis of asynchronous concurrent programs. / Arvind, D. K.; McConnell, B. R. J.
Parallel Processing: CONPAR 94 — VAPP VI: Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings. ed. / Bruno Buchberger; Jens Volkert. Berlin, Heidelberg: Springer, 1994. p. 124-135 (Lecture Notes in Computer Science; Vol. 854).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Towards the synthesis of asynchronous concurrent programs

AU - Arvind, D. K.

AU - McConnell, B. R. J.

PY - 1994

Y1 - 1994

N2 - The emergence of massively parallel computers poses new challenges for programming them. The purpose of this work is to explore and develop methods for formally infusing concurrency and communication into programs. We investigate a “proofs-to-programs” approach, where specifications which are written in a particular specification language LS(Σ) are shown to be consistent by using a logical calculus associated with the language. An examination of the structure of the resulting proof tree yields a program in an implementation language LI(Σ). Various parallel implementations of the programs are studied by examining their dependence graph, and an asynchronous operational semantics is presented.

AB - The emergence of massively parallel computers poses new challenges for programming them. The purpose of this work is to explore and develop methods for formally infusing concurrency and communication into programs. We investigate a “proofs-to-programs” approach, where specifications which are written in a particular specification language LS(Σ) are shown to be consistent by using a logical calculus associated with the language. An examination of the structure of the resulting proof tree yields a program in an implementation language LI(Σ). Various parallel implementations of the programs are studied by examining their dependence graph, and an asynchronous operational semantics is presented.

U2 - 10.1007/3-540-58430-7_12

DO - 10.1007/3-540-58430-7_12

M3 - Conference contribution

SN - 978-3-540-48789-0

T3 - Lecture Notes in Computer Science

SP - 124

EP - 135

BT - Parallel Processing: CONPAR 94 — VAPP VI

A2 - Buchberger, Bruno

A2 - Volkert, Jens

PB - Springer

CY - Berlin, Heidelberg

ER -

Arvind DK, McConnell BRJ. Towards the synthesis of asynchronous concurrent programs. In Buchberger B, Volkert J, editors, Parallel Processing: CONPAR 94 — VAPP VI: Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings. Berlin, Heidelberg: Springer. 1994. p. 124-135. (Lecture Notes in Computer Science). doi: 10.1007/3-540-58430-7_12

Towards the synthesis of asynchronous concurrent programs

Abstract

Publication series

Access to Document

Fingerprint

Cite this