×

乌尔姆

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文件

按年份列出的引文