K工具

骨架蒸馏。是一种基于重写的可执行语义框架，其中编程语言、类型系统和形式化分析工具可以使用配置、计算和规则来定义。配置以称为单元格的单位组织状态，这些单元被标记并可以嵌套。计算是一种特殊的嵌套列表结构，将计算任务（如程序片段）顺序化。（重写）规则使其明确地说明了它们只读、写、读、写或不关心的术语的哪些部分。这使得即使在存在共享的情况下，也适用于定义真正的并发语言。计算与改写环境中的任何其他术语一样：它们可以匹配、从一个地方移动到另一个、修改或删除。这使得它适合于定义控制密集型的特征，如突然终止、异常或调用/CC。本文介绍了框架和工具，重点介绍了工具和Maude之间的相互作用。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaX中的参考文献（16篇）2篇标准文章）

显示结果1至16的16。
按年份排序（引文）

  1. 安德列、Ciob、C、斯特凡、Melula、RADU、穆尔、布兰登、Roüu、Grigor；Erbünu，Traian Florin：全路径可达性逻辑（2019）
  2. 切尼，杰姆斯；MimigiLango，阿尔伯托：（αalpha）：机械化元理论模型检查器（2017）
  3. 罗查，CAMILO；MeeGuer-Joee；MuNooz，CIESAR：改写模SMT和开放系统分析（2017）
  4. Rusu，弗拉德；卢卡努，多莱尔；厄尔布努，Traian Florin；Arusoaie，安德列；Tef NeSuu，安德列；Roiu，Grigor：作为改写理论的语言定义（2016）
  5. 阿鲁索埃，安德列；卢卡努，多瑞尔；鲁苏，弗拉德：基于语言转换的符号执行（2015）
  6. 卢卡努，多瑞尔；鲁苏，弗拉德；Arusoaie，安德列；诺瓦克，戴维：验证重写逻辑规范的可达性逻辑特性（2015）
  7. 格里戈雷，从改写逻辑，到程序语言语义，到程序验证（2015）
  8. 如VoAe、Irina M·Riua、德波尔、弗兰克、Bangsangu、Marcello M.、LuaNu、Doel.Road、Juriaa: K（2013）中带指针的递归程序的有界模型检验
  9. MeeGuer-Joee，Roüu，Grigo:重写逻辑语义项目：进度报告（2013）
  10. 拉扎尔，戴维；Arusoaie，安德列；厄尔布努，Traian Florin；埃利森，查基；梅里亚，拉杜；卢卡努，多莱尔；罗古，格里格：用（\ MathBK）工具执行形式语义（2012）伊波尔特
  11. 卢卡努，多莱尔；厄尔布努，Traian Florin；罗古，格里格：（\ MthBBK）框架蒸馏（2012）伊波尔特
  12. 梅塞格，乔斯：重写逻辑的二十年（2012）
  13. MeeGuer-Joee，Roüu，Grigo:重写逻辑语义项目：进度报告（2011）
  14. 罗格鲁，格里高利；埃利森，舒克，舒尔特，沃尔夫拉姆：匹配逻辑：霍尔/弗洛依德逻辑的替代（2011）
  15. 西蒙斯，Robert J.；P芬宁，弗兰克：程序分析的逻辑逼近（2011）
  16. Chira，CAMELIa；厄尔布努，Traian Florin；TefNeSu，GHOGHOH:具有控制核的P系统：概念（2010）