科莱姆 swMATH ID: 9424 软件作者: 德尼古拉,R。;法拉利,G.L。;普格利泽,R。 描述: KLAIM:用于代理交互和移动性的核心语言。我们研究了为移动计算设计内核编程语言的问题,并描述了KLAIM,这是一种支持编程范式的语言,在这种编程范式中,可以将进程(如数据)从一个计算环境移动到另一个计算环境。该语言由一个具有多元组空间的核心Linda和一组用于构建进程的操作符组成。KLAIM自然支持使用显式位置进行编程。位置是一流的数据(它们可以像任何其他数据一样进行操作),但语言提供了协调机制来控制所定位进程之间的交互协议。正式的操作语义对于讨论语言的设计很有用,并为实现提供了指导。KLAIM配备了一个类型系统,用于静态检查移动代理的访问权限违规。类型用于描述与不同位置相关的进程的意图(读取、写入、执行等)。类型系统用于确定进程要在每个位置执行的操作,并检查它们是否符合声明的意图,以及它们是否具有在特定位置执行预期操作的必要权限。通过一系列示例,我们展示了许多移动代码编程范例可以在我们的内核语言中自然实现。我们还介绍了KLAIM在Java中的原型实现。 主页: http://ieeexplore.iee.org/xpl/login.jsp?tp=&arnumber=685256 相关软件: 琳达;克拉瓦;SCEL公司;石灰;莫德;奶牛;自旋蛋白;SLMC公司;帕戈达;轻量级Java;乔坎尔;重新规范;皮杜克;特克莱姆;无DoSE;XPath路径;XMLTK(XMLTK);LEAP公司;Protelis公司;棱镜 引用于: 65文件 标准条款 4出版物描述软件,包括4出版物以zbMATH为单位 年份 克莱姆项目:理论与实践。 Zbl 1179.68027号洛伦佐·贝蒂尼;维维亚娜·博诺;De Nicola,罗科;Gianluigi法拉利;丹尼尔·戈拉;米歇尔·洛雷蒂;尤金尼奥·莫吉;罗萨里奥·普格利泽;埃米利奥·托斯托;贝蒂·文内里 2003 访问控制的类型。 Zbl 0954.68025号R·尼古拉。;G.-L.法拉利。;普格利泽,R。;Venneri,B。 2000 编程访问控制:KLAIM体验。 Zbl 0999.68557号De Nicola,罗科;吉安·路易吉,法拉利;罗萨里奥·普格利泽 2000 克莱姆的模态逻辑。 兹伯利0983.68022De Nicola,罗科;米歇尔·洛雷蒂 2000 全部的 前5名114位作者引用 14 De Nicola,罗科 12 罗萨里奥·普格利泽 7 丹尼尔·戈拉 7 米歇尔·洛雷蒂 6 吉安·路易吉,法拉利 5 弗朗西斯科·蒂埃齐 4 洛伦佐·贝蒂尼 4 弗莱明·尼尔森 4 汉内·里斯·尼尔森 4 贝蒂·文奈里 三 维维亚娜·博诺 三 轩尼诗,Matthew C.B。 三 迭戈·拉泰拉 三 阿尔贝托·卢什·拉富恩特 三 马辛克,米克 三 尤金尼奥·莫吉 三 乌戈·蒙塔纳里。 三 任尚平 三 马蒂奥·桑马蒂诺 三 卡罗琳·塔尔科特。 三 维罗利,米尔科 三 吉田信子 2 乔治·奥德里托 2 雅各布·比尔 2 文森佐·西安西亚 2 费卢西奥·达米亚尼 2 马里亚纽拉州Dezani-Ciancaglini 2 亚历山德拉·迪·皮耶罗 2 法比奥·加杜奇 2 克里斯·汉金。 2 伊万·拉内斯 2 克劳迪奥·安塔雷斯·梅齐纳 2 马里诺米库兰 2 米歇尔·帕斯夸 2 丹尼尔·皮亚尼尼 2 Damien Pous 2 马尔詹·西尔贾尼 2 丹尼尔·瓦拉卡 2 赫伯特,威克利基 2 吉安路易吉·扎瓦塔罗 1 保罗·巴尔丹 1 佛朗哥·巴巴内拉 1 凯特琳娜·巴罗内·阿德斯 1 斯蒂法诺·比斯塔雷利 1 劳拉·博奇 1 博迪,恰拉 1 菲利波·邦奇 1 安德烈亚·克拉克·布拉夏利 1 奇亚拉·布拉金 1 马里奥·布拉维蒂 1 安东尼奥·布罗吉 1 罗伯托·布鲁尼 1 米歇尔·布格列西 1 纳迪亚·布西 1 路易斯·凯恩斯 1 罗伯特·卡萨迪 1 朱塞佩·卡斯塔尼亚 1 陈子春 1 安德烈亚·科拉迪尼 1 维托里奥·科泰莱萨 1 伊奥娜·多姆尼纳·克里斯特斯库 1 皮耶保罗·德加诺 1 罗曼·德曼根 1 约翰·埃弗雷特·菲尔德 1 毛里齐奥·加布里埃利 1 菲利普·安·加德纳 1 西尔维娅·吉勒赞 1 埃琳娜·贾奇诺 1 托马斯·吉文·威尔森 1 格内西、斯特凡尼亚 1 罗伯托·戈里埃里 1 文森佐,格拉西 1 罗伯特·瓜夏莱 1 汉森、雷内·里多夫 1 丹尼尔·赫希科夫 1 本田、高黑 1 Joost-Pieter卡托恩 1 汉娜·克劳代尔 1 亚历山大·纳普 1 科西莫·拉内夫 1 Legay、Axel 1 李锡盟 1 罗伯托·卢奇 1 亚历山德罗·马吉 1 玛丽亚·克里斯蒂娜·马里内斯库 1 Maria Chiara Meo女士 1 斯蒂芬·默兹 1 安德烈亚·莫里切塔 1 R.D.尼古拉。 1 约万卡·潘托维奇 1 玛丽内拉·彼得罗奇 1 法兰克·波默罗 1 克里斯蒂安·普罗布斯特。 1 朱利安·拉特克 1 詹姆斯·里利 1 戴维·桑吉奥吉 1 弗朗西斯科·桑蒂尼 1 弗拉迪米罗·萨松 1 毛里齐奥·塞巴斯蒂安尼斯 1 瓦莱里奥·塞尼 …还有14位作者 全部的 前5名12篇连载文章中引用 16 理论计算机科学 6 逻辑与代数程序设计杂志 5 信息与计算 5 程序设计中的逻辑和代数方法杂志 4 计算机程序设计科学 2 信息学报 2 计算机科学中的逻辑方法 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 函数编程杂志 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 在5个字段中引用 65 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 2 信息与通信理论、电路(94-XX) 1 一般拓扑结构(54至XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文