The RPC calculus

Ezra Cooper, Philip Wadler

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

Abstract

Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these "location-aware" languages. These languages provide constructs allowing the programmer to control the location (the choice of host, for example) where a piece of code should run, which can be useful for security or performance reasons. On the other hand, a central mantra of WWW system engineering prescribes that web servers should be "stateless": that no "session state" should be maintained on behalf of individual clients---that is, no state that pertains to the particular point of the interaction at which a client program resides. Many implementations of location-aware languages are not at home on the web: they hold some kind of client-specific state on the server. We show how to implement a symmetrical location-aware language on top of a stateless server.
Original languageEnglish
Title of host publicationProceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal
Pages231-242
Number of pages12
DOIs
Publication statusPublished - 2009

Fingerprint Dive into the research topics of 'The RPC calculus'. Together they form a unique fingerprint.

Cite this