乌尔姆 swMATH ID: 8978 软件作者: 热拉尔·布多尔 描述: ULM:全球计算的核心编程模型。我们提出了一个编程模型,用于解决在全局计算上下文中访问资源的不可靠特性,重点是为一种小型但富于表现力的核心语言提供精确的语义。为了设计语言,我们使用同步编程风格的思想和编程结构,这使我们能够处理某些操作的悬念特性,并编程反应行为。我们还引入了用于编程移动代理的构造,这些构造与它们的状态一起移动,由控制堆栈和存储组成。这使得对参考文献的访问也可能被搁置。 主页: http://link.springer.com/chapter/10.1007/978-3-540-24725-8_17 相关软件: 酯类;糖块;乔坎尔;莫德哈特;OCaml公司;VESTA公司;Freshml公司;皮克特;安全Dpi;卢斯特;MoMo公司;科莱姆;SLMC公司;MRMC公司;棱镜;埃尔朗 引用于: 10文件 全部的 前5名22位作者引用 4 罗伯特·阿马迪奥(Roberto M.Amadio)。 三 杰拉德·布多尔 2 伊利亚卡斯特拉尼 1 华金·阿瓜多 1 梅尔·艾伦·威廉姆斯 1 阿纳·阿尔梅达·马托斯 1 弗雷德里克·布西诺 1 达尔·齐利奥(Dal Zilio,Silvano) 1 洛科·德尼古拉 1 JoséLuiz Fiadeiro 1 皮埃尔·哈布泽特 1 Joost-Pieter卡托恩 1 迭戈·拉特拉 1 詹姆斯·莱弗。 1 安托尼亚州洛佩斯 1 米歇尔·洛雷蒂 1 梅克·马西克 1 迈克尔·门德勒 1 彼得·休厄尔 1 维克托·瓦菲亚迪斯 1 基思·旺斯堡 1 弗朗西斯科·扎帕·纳德利 4篇连载文章中引用 三 理论计算机科学 2 逻辑与代数程序设计杂志 1 信息与计算 1 函数编程杂志 在2个字段中引用 10 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文