伊莎贝尔/UTP

Isabelle/UTP：一个机械化的理论工程框架。我们介绍了Isabelle/UTP，Hoare的一个新的机械化，以及他在Isabelle/HOL中的统一编程理论（UTP）。UTP是一个研究、形式化和统一形式语义的框架。我们的贡献是，首先，UTP的字母谓词的深层语义模型，支持在值和类型的底层概念中参数化的元逻辑推理。第二，集成宿主逻辑类型检查，它包含了在对象语言中键入证明义务的需要。第三，证明策略，将Isabelle中支持良好的数学结构的结果转化为UTP理论的证明。此外，我们的工作提供了新的见解，以调和浅层和深层的语言嵌入。

此软件的关键字

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

zbMATH中的参考文献（引用于，1标准件)

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

  1. Simon Foster；Ana Cavalcanti；Samuel Canham；Jim Woodcock；Frank Zeyda：反应式设计合同统一理论（2020）
  2. Sheng，Feng；Zhu，Hui Biao；He，Jifeng；Yang，Zongyuan；Bowen，Jonathan P:基于UTP的MDESL指称语义的理论与实践研究（2020）
  3. 坎图比罗流程（2019年，安杰利比罗，卡瓦拉纳）
  4. 巴特菲尔德，安德鲁：Utpcalc——UTP谓词的计算器（2017）
  5. Colvin，Robert J.；Hayes，Ian J.；Meinicke，Larissa A.：为具有并发性的广谱语言设计语义模型（2017）
  6. Foster，Simon；Thiele，Bernhard；Cavalcanti，Ana；Woodcock，Jim：面向Modelica的UTP语义（2017）
  7. Ribeiro，Pedro；Cavalcanti，Ana；Woodcock，Jim：联系理论的逐步方法（2017）
  8. Zeyda，Frank；Foster，Simon；Freitas，Leo:Isabelle/UTP的公理价值模型（2017）
  9. 安娜州卡瓦尔坎蒂；伍德科克，吉姆；阿马里奥，努诺：FMI共同模拟的行为模型（2016年）
  10. Foster，Simon；Zeyda，Frank；Woodcock，Jim：《用透镜统一异质状态空间》（2016）
  11. Simon Foster，Mechanical Utdock，2015；机械工程