圣杯 swMATH ID: 26751 软件作者： Lennart Beringer；肯尼思·麦肯齐（Kenneth MacKenzie）；伊恩·斯塔克 描述： 圣杯：命令式移动代码的函数形式。在{it R.L.史蒂文森}的小说[杰基尔博士和海德先生的奇怪案例。伦敦：格林·龙门斯（1886）]中，杰基尔医生是上流社会中受人尊敬的一员，而他的另一个自我海德先生有着相同的身体形态，但他在国外漫游，与最底层的人交流。本文介绍了Grail，一种性能良好的一阶函数语言，它是类ML编译器的目标；同时也是一种作为Java类文件传输和执行的完全命令式赋值语言。我们在Mobile Resource Guaranties项目中使用了这种双重身份，Grail作为校验码提供时间和空间性能的保证，从而支持安全可靠的全局计算。 主页： https://www.sciencedirect.com/science/article/pii/S1571066105800830 相关软件： 卡米洛特；伊莎贝尔/HOL；OCaml公司；存档正式证据；摊销复杂性；分离逻辑；基岩；王牌；VACID-0型；Ynot公司；Coq公司；苏门答腊岛；弧菌；Uppaal公司；艾菲尔；Uppaal2k公司；税收；卡拉卡拉；回路；KIV公司 引用于： 5文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 圣杯：命令式移动代码的函数形式。 Zbl 1270.68065号伦纳特·贝林格；肯尼思·麦肯齐；伊恩·斯塔克 2003 全部的 前5名15位作者引用 三 伦纳特·贝林格 2 马丁·霍夫曼 2 阿尔贝托·莫米利亚诺 1 大卫·阿斯皮纳尔 1 亚瑟·查古埃罗 1 汤姆·乔西亚 1 德波尔（Frank S。 1 穆罕默德·马赫迪·贾古奥里 1 汉斯·沃夫冈·洛伊德 1 Delphine Longuet 1 肯尼思·麦肯齐 1 弗朗索瓦·波蒂埃 1 奥哈·什卡拉夫斯卡 1 马尔詹·西尔贾尼 1 伊恩·斯塔克 3篇连载文章中引用 1 信息学报 1 理论计算机科学 1 自动推理杂志 在2个字段中引用 5 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的引文