Seamless distributed computing from the geometry of interaction

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

Authors

Colleges, School and Institutes

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.

Details

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

Conference

Conference7th International Symposium on Trustworthy Global Computing, TGC 2012
CountryUnited Kingdom
CityNewcastle upon Tyne
Period7/09/128/09/12