Seamless distributed computing from the geometry of interaction

Olle Fredriksson, Dan R. Ghica

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)


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 languageEnglish
Title of host publicationTrustworthy Global Computing - 7th International Symposium, TGC 2012, Revised Selected Papers
Number of pages15
Publication statusPublished - 30 Oct 2013
Event7th International Symposium on Trustworthy Global Computing, TGC 2012 - Newcastle upon Tyne, United Kingdom
Duration: 7 Sept 20128 Sept 2012

Publication series

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


Conference7th International Symposium on Trustworthy Global Computing, TGC 2012
Country/TerritoryUnited Kingdom
CityNewcastle upon Tyne

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Seamless distributed computing from the geometry of interaction'. Together they form a unique fingerprint.

Cite this