K工具 swMATH ID: 9746 软件作者: 大卫·拉扎尔(David Lazar)、安德烈·阿鲁索艾(Andrei Arusoaie)、特拉安·弗洛林·埃尔布努(Traian Florinöerbţnu)、丘奇·埃利森(Chucky Ellison)、拉杜·梅雷塔(Radu Mereuta)、多雷尔·卢卡努(Dorel Lucan 描述: 𝕂 提取框架。𝕂 是一个基于重写的可执行语义框架,其中可以使用配置、计算和规则定义编程语言、类型系统和形式分析工具。配置以称为单元的单元来组织状态,这些单元被标记并可以嵌套。计算是一种特殊的嵌套列表结构,用于对计算任务(如程序片段)进行顺序化。𝕂 (重写)规则明确了术语的哪些部分是只读的、只写的、读写的或不关心的。这使得𝕂 适用于定义真正的并发语言,即使在共享的情况下也是如此。计算与重写环境中的任何其他术语一样:它们可以匹配、从一个位置移动到另一个位置、修改或删除。这使得𝕂 适用于定义控制密集型特征,如突然终止、异常或呼叫/cc。本文概述了𝕂 框架和𝕂 工具,专注于𝕂 工具和莫德。 主页: http://link.springer.com/章节/10.1007%2F978-3-642-34005-5_3 相关软件: K校准仪;莫德;z3(零3);K-Maude公司;K-Java公司;PLT兑换;MMT公司;Coq公司;咖啡馆OBJ;KOOL公司;Java+ITP;Dist兽人;时刻2;ITP/OCL公司;爪哇风扇;投掷;PrologCheck(序言检查);Why3号机组;OBJ3型;工具链 引用于: 20文件 标准条款 2出版物描述软件 年份 \(mathbb{K})框架提取多雷尔·卢卡努;⑩erbénuţ\355 ;Ņé,Traian Florin;格里高·罗什乌 2012 使用\(mathbb K\)工具执行形式语义戴维·拉扎尔(David Lazar);安德烈·阿鲁索艾;Şerbлnuţл,Traian Florin;埃里森(Chucky Ellison);Radu Mereuta;多雷尔·卢卡努;格里高·罗什乌 2012 全部的 前5名45位作者引用 6 格里高·罗什乌 4 多雷尔·卢卡努 4 何塞·梅塞盖尔·瓜伊塔 三 安德烈·阿鲁索艾 三 弗拉德·鲁苏 三 ☑特拉安·弗洛林(Traian Florin) 2 艾琳娜·莫瑞卡 2 安德烈·特夫内斯库 1 马·戈扎塔·比尔纳卡 1 马塞洛·玛丽亚·邦桑格 1 威托尔德·沙拉托尼克 1 詹姆斯·切尼 1 卡米利亚·奇拉 1 瑟·特凡·乔巴赫 1 多里安·多迪耶 1 伊曼纽尔·德·安吉利斯 1 德波尔(Frank S。 1 楚其·埃里森 1 法比奥·菲奥拉万蒂 1 约翰·加拉赫(John P.Gallagher)。 1 关志超 1 迈克尔·豪斯特曼 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 胡,镇江 1 拉杜·梅鲁塔 1 丹尼尔·莫尔特 1 布兰登·摩尔(Brandon M.Moore)。 1 戴维·莫斯特勒 1 塞萨尔·穆尼奥斯。 1 Nguyen、Hoang Nga 1 大卫·E·诺瓦克。 1 Kazuhiro绪方 1 阿尔贝托·佩特罗西 1 弗兰克,普芬宁 1 毛里齐奥·普罗埃蒂 1 卡米洛·罗查 1 马库斯·罗根巴赫 1 朱里安·罗特 1 沃尔夫拉姆·舒尔特 1 西蒙斯(Robert jun Simmons)。 1 tefénescu,Gheorghe 1 Trinh Ngoc Quoc Bao公司 1 肖玉硕 1 杨子怡 1 卡拉·杰琳斯卡 全部的 前5名7篇连载文章中引用 2 逻辑与代数程序设计杂志 2 逻辑程序设计理论与实践 2 程序设计中的逻辑和代数方法杂志 1 信息与计算 1 高阶和符号计算 1 计算机语言、系统和结构 1 计算机科学中的逻辑方法 在3个字段中引用 20 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文