K工具

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考 17篇文章 参考，2标准条款)

显示第1到17个结果，共17个。
按年份排序(引用)

  1. Ştefănescu，Andrei；Ciob–căStefan；Mereuta，Radu；Moore，Brandon；Roşu，Grigore；Şerbănuṭă，Traian Florin：全路径可达逻辑（2019）
  2. Biernacka，Małgorzata；Charatonik，Witold；Jeelinska，Klara:广义重聚焦：从混合策略到抽象机器（2017）
  3. Cheney，James；Momigliano，Alberto:（\alpha\mathrmCheck）：机械化元理论模型检查器（2017）
  4. Rocha，Camilo；Meseguer，José；Muñoz，César：重写模块SMT和开放系统分析（2017）
  5. Rusu，Vlad；Lucanu，Dorel；Şerbănuţă，Traian Florin；Arusoaie，Andrei；Ştefănescu，Andrei；Roşu，Grigore:语言定义作为重写理论（2016）
  6. Arusoaie，Andrei；Lucanu，Dorel；Rusu，Vlad：基于语言转换的符号执行（2015）
  7. Lucanu，Dorel；Rusu，Vlad；Arusoaie，Andrei；Nowak，David:验证重写逻辑规范的可达性逻辑属性（2015）
  8. Roşu，Grigore:从重写逻辑到编程语言语义，再到程序验证（2015）
  9. Asăvoae，Irina Măriuca；de Boer，Frank；Bonsangue，Marcello M.；Lucanu，Dorel；Rot，Jurriaan:带指针递归程序的有界模型检查（2013）
  10. Meseguer，José；Roşu，Grigore:重写逻辑语义项目：进度报告（2013）
  11. David Lazar；Arusoaie，Andrei；Şerbǎnuţǎ，Traian Florin；Ellison，Chucky；Mereuta，Radu；Lucanu，Dorel；Roşu，Grigore:使用（\mathbbK）工具执行形式语义（2012）ioport公司
  12. Lucanu，Dorel；Şerbănuţă，Traian Florin；Roşu，Grigore:（\mathbbK）框架蒸馏（2012）ioport公司
  13. JoséMeseguer：《重写逻辑的二十年》（2012）
  14. 《格里姆塞罗逻辑：重写语义学》2011年版
  15. Roşu，Grigore；Ellison，Chucky；Schulte，Wolfram:匹配逻辑：Hoare/Floyd逻辑的替代品（2011）
  16. Simmons，Robert J.；Pfenning，Frank:程序分析的逻辑近似（2011）
  17. Chira，Camelia；Şerbănuţă，Traian Florin；Ştefănescu，Gheorghe:P系统与控制核：概念（2010）