The RPC calculus

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 locationaware language on top of a stateless server.

• Type: Conference
• Year: 2009
• Where: PPDP
• Authors: Ezra Cooper, Philip Wadler
• Keywords: Languages Provide Constructs, Location-aware Languages, PPDP 2009, Programming Languages, Symmetrical Locationaware Language