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 -