乌尔姆

ULM:全球计算的核心编程模型。我们提出了一个编程模型来解决在全局计算环境中访问资源的不可靠特性,重点是为一个小而有表现力的核心语言提供精确的语义。为了设计语言,我们使用同步编程风格中的思想和编程结构,这些思想和结构允许我们处理一些操作的悬而未决的特性,并编程反应性行为。我们还介绍了用于编程移动代理的结构,这些结构与它们的状态一起移动,其中包括一个控制堆栈和一个存储。这使得参考文献的获取也有潜在的悬念。