K工具

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


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)