| Acute: High-Level Programming Language Design (2008) | |||||||||||||||||
Abstract | |||||||||||||||||
| Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of many distinct programs, sharing some (but not necessarily all) of their module structure, and with some instances rebuilt with new versions of certain modules as time goes on. In this paper we discuss programminglanguage support for such systems, focussing on their typing and naming issues. | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||