Seamless distributed computing from the geometry of interaction

Olle Fredriksson; Dan R. Ghica

doi:10.1007/978-3-642-41157-1_3

Seamless distributed computing from the geometry of interaction

Olle Fredriksson, Dan R. Ghica

Computer Science

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

7 Citations (Scopus)

Abstract

In this paper we present a seamless approach to writing and compiling distributed code. By "seamless" we mean that the syntax and semantics of the distributed program remain the same as if it was executed on one node only, except for label annotations indicating on what node sub-terms of the program are to be executed. There are no restrictions on how node labels are to be assigned to sub-terms. We show how the paradigmatic (higher-order functional recursive) programming language PCF, extended with node annotations, can be used for this purpose. The compilation technique is directly inspired by game semantics and the Geometry of Interaction.

Original language	English
Title of host publication	Trustworthy Global Computing - 7th International Symposium, TGC 2012, Revised Selected Papers
Pages	34-48
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-642-41157-1_3
Publication status	Published - 30 Oct 2013
Event	7th International Symposium on Trustworthy Global Computing, TGC 2012 - Newcastle upon Tyne, United Kingdom Duration: 7 Sept 2012 → 8 Sept 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8191 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	7th International Symposium on Trustworthy Global Computing, TGC 2012
Country/Territory	United Kingdom
City	Newcastle upon Tyne
Period	7/09/12 → 8/09/12

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-642-41157-1_3

Cite this

Fredriksson, O., & Ghica, D. R. (2013). Seamless distributed computing from the geometry of interaction. In Trustworthy Global Computing - 7th International Symposium, TGC 2012, Revised Selected Papers (pp. 34-48). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8191 LNCS). https://doi.org/10.1007/978-3-642-41157-1_3

@inproceedings{0118206de20f4ac7b2dfaef3ebcaa5ac,

title = "Seamless distributed computing from the geometry of interaction",

abstract = "In this paper we present a seamless approach to writing and compiling distributed code. By {"}seamless{"} we mean that the syntax and semantics of the distributed program remain the same as if it was executed on one node only, except for label annotations indicating on what node sub-terms of the program are to be executed. There are no restrictions on how node labels are to be assigned to sub-terms. We show how the paradigmatic (higher-order functional recursive) programming language PCF, extended with node annotations, can be used for this purpose. The compilation technique is directly inspired by game semantics and the Geometry of Interaction.",

author = "Olle Fredriksson and Ghica, {Dan R.}",

year = "2013",

month = oct,

day = "30",

doi = "10.1007/978-3-642-41157-1_3",

language = "English",

isbn = "9783642411564",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "34--48",

booktitle = "Trustworthy Global Computing - 7th International Symposium, TGC 2012, Revised Selected Papers",

note = "7th International Symposium on Trustworthy Global Computing, TGC 2012 ; Conference date: 07-09-2012 Through 08-09-2012",

}

Fredriksson, O & Ghica, DR 2013, Seamless distributed computing from the geometry of interaction. in Trustworthy Global Computing - 7th International Symposium, TGC 2012, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8191 LNCS, pp. 34-48, 7th International Symposium on Trustworthy Global Computing, TGC 2012, Newcastle upon Tyne, United Kingdom, 7/09/12. https://doi.org/10.1007/978-3-642-41157-1_3

Seamless distributed computing from the geometry of interaction. / Fredriksson, Olle; Ghica, Dan R.
Trustworthy Global Computing - 7th International Symposium, TGC 2012, Revised Selected Papers. 2013. p. 34-48 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8191 LNCS).

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

TY - GEN

T1 - Seamless distributed computing from the geometry of interaction

AU - Fredriksson, Olle

AU - Ghica, Dan R.

PY - 2013/10/30

Y1 - 2013/10/30

N2 - In this paper we present a seamless approach to writing and compiling distributed code. By "seamless" we mean that the syntax and semantics of the distributed program remain the same as if it was executed on one node only, except for label annotations indicating on what node sub-terms of the program are to be executed. There are no restrictions on how node labels are to be assigned to sub-terms. We show how the paradigmatic (higher-order functional recursive) programming language PCF, extended with node annotations, can be used for this purpose. The compilation technique is directly inspired by game semantics and the Geometry of Interaction.

AB - In this paper we present a seamless approach to writing and compiling distributed code. By "seamless" we mean that the syntax and semantics of the distributed program remain the same as if it was executed on one node only, except for label annotations indicating on what node sub-terms of the program are to be executed. There are no restrictions on how node labels are to be assigned to sub-terms. We show how the paradigmatic (higher-order functional recursive) programming language PCF, extended with node annotations, can be used for this purpose. The compilation technique is directly inspired by game semantics and the Geometry of Interaction.

UR - http://www.scopus.com/inward/record.url?scp=84886427663&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-41157-1_3

DO - 10.1007/978-3-642-41157-1_3

M3 - Conference contribution

AN - SCOPUS:84886427663

SN - 9783642411564

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 34

EP - 48

BT - Trustworthy Global Computing - 7th International Symposium, TGC 2012, Revised Selected Papers

T2 - 7th International Symposium on Trustworthy Global Computing, TGC 2012

Y2 - 7 September 2012 through 8 September 2012

ER -

Fredriksson O, Ghica DR. Seamless distributed computing from the geometry of interaction. In Trustworthy Global Computing - 7th International Symposium, TGC 2012, Revised Selected Papers. 2013. p. 34-48. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-41157-1_3

Seamless distributed computing from the geometry of interaction

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this