K校准仪 swMATH ID: 32257 软件作者： 罗什、格里戈尔等人 描述： K校准仪。K语义框架概述。K是一个可执行的语义框架，其中可以使用配置、计算和规则来定义编程语言、演算以及类型系统或形式分析工具。配置以单元（称为单元）的形式组织系统/程序状态，单元上有标签，可以嵌套。计算具有“计算意义”，作为特殊的嵌套列表结构，对计算任务进行顺序化，例如程序片段；特别是，计算扩展了原始语言或微积分语法。K（重写）规则通过明确他们读、写或不关心术语的哪些部分来概括常规重写规则。这种区别使K成为定义真正并发语言或计算的合适框架，即使在共享的情况下也是如此。由于计算可以像重写环境中的任何其他术语一样进行处理，也就是说，它们可以匹配，以原始术语从一个地方移到另一个地方，修改，甚至删除，K特别适合定义控制密集型语言特性，如突然终止、异常或调用/cc。本文概述了K框架：它是什么，如何使用，以及迄今为止在哪里使用。它还提出并讨论了挑战的K定义，这是一种旨在挑战和暴露现有语义框架局限性的编程语言。 主页： http://www.kframework.org/index.php/Main_Page 源代码： https://github.com/kframework/k 相关软件： 莫德;K工具;z3（零3）;K-Java公司;Coq公司;MMT公司;爪哇风扇;K-Maude公司;PLT兑换;ACL2型;咖啡馆OBJ;半人马座;KOOL公司;Java+ITP;伊莎贝尔/HOL;OBJ3型;西洋陆军棋;奥特;工具链;毫升 引用于： 52文件 更多出版物： http://www.kframework.org/index.php/K_Publications网站 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 K语义框架概述。 Zbl 1214.68188号格里高·罗什乌;☑特拉安·弗洛林（Traian Florin） 2010 全部的 前5名76位作者引用 23 格里高·罗什乌 15 ☑特拉安·弗洛林（Traian Florin） 8 多雷尔·卢卡努 8 弗拉德·鲁苏 6 安德烈·阿鲁索艾 6 安德烈·特夫内斯库 5 何塞·梅塞盖尔·瓜伊塔 4 瑟·特凡·乔巴赫 三 希尔斯，马克 2 楚其·埃里森 2 拉杜·梅鲁塔 2 布兰登·摩尔（Brandon M.Moore）。 2 tefénescu，Gheorghe 1 艾琳娜·莫瑞卡 1 洛伦佐·贝蒂尼 1 马·戈扎塔·比尔纳卡 1 丹尼斯·波格达纳斯 1 米歇尔·布格列西 1 斯特凡诺·卡尔扎瓦拉 1 威托尔德·沙拉托尼克 1 詹姆斯·切尼 1 卡米利亚·奇拉 1 霍雷修·西尔斯泰 1 多里安·多迪耶 1 伊曼纽尔·德·安吉利斯 1 迪努、利维乌·佩特里什或 1 董金松 1 Daniel Schnetzer，法瓦 1 法比奥·菲奥拉万蒂 1 里卡多·福卡迪 1 西蒙·福斯特 1 约翰·加拉赫（John P.Gallagher）。 1 关志超 1 埃尔萨·甘特。 1 迈克尔·豪斯特曼 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 Hoa，Koh Chuen村 1 侯哲 1 胡，镇江 1 克里斯蒂安·约翰森 1 爱德华·坎布里扬 1 Misaki小岛 1 Lermusiaux，皮埃尔·F·J。 1 李丽怡 1 刘，杨 1 安德烈亚斯·洛赫比勒 1 丹尼尔·莫尔特 1 皮埃尔·埃蒂安·莫罗 1 彼得·莫塞斯（Peter D.Mosses）。 1 戴维·莫斯特勒 1 Nguyen、Hoang Nga 1 直纪西田 1 大卫·E·诺瓦克。 1 Kazuhiro绪方 1 Owe、Olaf 1 阿尔贝托·佩特罗西 1 弗兰克，普芬宁 1 毛里齐奥·普罗埃蒂 1 马库斯·罗根巴赫 1 大卫·萨南 1 沃尔夫拉姆·舒尔特 1 尼尔·斯卡索普 1 西蒙斯（Robert jun Simmons）。 1 马丁·斯特芬 1 沃尔克·斯托尔茨 1 阿文·费南托（Alwen Fernanto Tiu） 1 Trinh Ngoc Quoc Bao公司 1 范·宾斯贝根，L.托马斯 1 内森·瓦瑟 1 曼迪·魏巴赫 1 詹姆斯·C·P·伍德科克。 1 肖玉硕 1 杨子怡 1 叶康峰 1 卡拉·杰琳斯卡 1 沃尔夫·齐默尔曼 全部的 前5名11篇连载文章中引用 8 程序设计中的逻辑和代数方法杂志 三 逻辑与代数程序设计杂志 2 信息与计算 2 自动推理杂志 2 逻辑程序设计理论与实践 2 计算机科学中的逻辑方法 1 《数学与应用》（Revue Roumaine de Mathématiques Pures et Appliques） 1 符号计算杂志 1 计算的形式方面 1 高阶与符号计算 1 计算机语言、系统和结构 在3个字段中引用 52 计算机科学（68至XX） 16 数学逻辑和基础（03-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文