K工具

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

此软件的关键字

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

zbMATH中的参考文献（参考文献17条,2标准条款)

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

  1. Ş聚四氟乙烯ă奈斯库，安德烈；首席信息官âcă, 斯特凡；梅雷塔，拉杜；摩尔，布兰登；反渗透şu、 格里戈尔；Şerb公司ă努ṭă, 特拉安·弗洛林：全路径可达逻辑（2019）
  2. 马萨诸塞州比尔纳卡ł戈尔扎塔；查拉托尼克，威托德；齐利ńska，Klara:广义再聚焦：从混合策略到抽象机器（2017）
  3. 切尼，詹姆斯；Alberto Momigliano:（\alpha\mathrmCheck）：机械化元理论模型检查器（2017）
  4. 罗查，卡米洛；梅斯盖尔，乔斯é; 穆ñ盎司，César：重写模块SMT和开放系统分析（2017）
  5. 拉苏，弗拉德；卢卡努、多雷尔；Şerb公司ă努ţă, 特拉安·弗洛林；阿鲁索艾，安德烈；Ş聚四氟乙烯ă奈斯库，安德烈；反渗透şu、 格里戈尔：语言定义为重写理论（2016）
  6. 阿鲁索艾，安德烈；卢卡努、多雷尔；Rusu，Vlad:基于语言转换的符号执行（2015）
  7. 卢卡努、多雷尔；拉苏，弗拉德；阿鲁索艾，安德烈；Nowak，David:验证重写逻辑规范的可达性逻辑属性（2015）
  8. 反渗透şu、 格里戈尔：从重写逻辑到编程语言语义，再到程序验证（2015）
  9. 作为ă喂，伊琳娜Mă里乌卡；德波尔，弗兰克；邦桑格，马塞洛M。；卢卡努、多雷尔；Rot，Jurriaan:K中带指针递归程序的有界模型检查（2013）
  10. 梅斯盖尔，乔斯é; 反渗透şu、 格里戈尔：重写逻辑语义项目：进展报告（2013）
  11. 拉撒，大卫；阿鲁索艾，安德烈；Şerb公司ǎ努ţǎ, 特拉安·弗洛林；埃里森，楚其；梅雷塔，拉杜；卢卡努、多雷尔；反渗透şu、 Grigore:使用（\mathbk）工具执行形式语义（2012）ioport公司
  12. 卢卡努、多雷尔；Şerb公司ă努ţă, 特拉安·弗洛林；反渗透şu、 Grigore:（\mathbk）框架蒸馏（2012）ioport公司
  13. 梅斯盖尔，乔斯é: 重写逻辑二十年（2012）
  14. 梅斯盖尔，乔斯é; 反渗透şu、 格里戈尔：重写逻辑语义项目：进展报告（2011）
  15. 反渗透şu、 格里戈尔；埃里森，楚其；沃尔夫拉姆·舒尔特：《匹配逻辑：霍尔/弗洛伊德逻辑的替代品》（2011）
  16. 西蒙斯，罗伯特J。；Frank Pfing，2011逻辑近似分析
  17. 希拉，山茶花；Şerb公司ă努ţă, 特拉安·弗洛林；Ş聚四氟乙烯ănescu，Ghorghe:P系统与控制核：概念（2010）