K工具

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


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. 安德烈鲁西,德拉鲁西,德拉鲁西;语言,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. Meseguer,José;Roşu,Grigore:重写逻辑语义项目:进度报告(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)