• 布吉

  • 参考文献118篇[sw07714]
  • 布吉:安中间验证语言. 布吉是个中间的验证语言,用作层。。。
  • 原因3

  • 引用131篇文章[sw04438]
  • 演绎程序验证。它提供了丰富的语言对于规范和编程,称为WhyML。。。WhyML也用作中间的 语言为了验证C,Java。。。
  • CIL公司

  • 引用36篇[sw26691]
  • 中间的 语言以及用于分析和转换C程序的工具。本文描述。。。中间 语言:一个高级表示以及一组允许轻松分析的工具。。。也比典型的更高层次中间的 语言(例如,三个地址码)设计用于编译。。。
  • 如果-2.0

  • 引用46篇文章[sw03303号]
  • 工具箱是建立在中间的代表语言基于扩展时间自动机。特别地。。。工具箱包含中间的 语言(例如编译器、静态分析仪和模型…以及各种规格的前端语言和验证工具(学术的和商业的……上下文:par——静态的中间的表示阻止了对动态系统的分析。。。
  • 验证

  • 参考33篇文章[sw02011]
  • 写在规范的一个子集中语言埃斯特尔,作为一部分。。。规范,我们的原始规范中间的 语言(IL)或Kronos的时间自动机。。。
  • 达克尔特

  • 引用28篇文章[sw02871]
  • 与Dactl相关联的编译器目标(中间的)语言. 图的能力说明。。。
  • 为什么

  • 引用25篇文章[sw09709]
  • 规范语言. 为什么是第一道菜语言多态类型,模式匹配和归纳。。。WhyML也用作中间的 语言为了验证Java,C。。。
  • 海喇叭

  • 引用15篇文章[sw18274]
  • 对编程语法的关注语言,它的操作语义和验证语义。。。使用Horn子句作为中间的 语言表示简化接口的验证条件。。。
  • 小猫

  • 引用8篇文章[sw17045]
  • 用编译器分析C程序中间的 语言. 编程语义建模语言就像。。。另一方面,低级中间的 语言在编译C程序时发生的。。。有希望的方法来使用这些中间的 语言对于C程序的自动终止分析。。。这是编译器中的程序中间的 语言被翻译成术语重写系统(TRSs。。。
  • 布吉普尔

  • 参考12篇文章[sw21521]
  • 程序。此注释定义了BoogiePL中间的 语言用于程序分析和程序验证。。。
  • 毒蛇

  • 引用8篇文章[sw15038]
  • 布吉和为什么。这些提供了一个中间的 语言可以表达多样性语言特征。。。提供一个验证基础设施中间的 语言本机支持表达型权限模型。我们提供。。。
  • 符号差分

  • 引用16条[sw13093]
  • 本文描述了SymDiff,a语言-不可知的工具等价性检查和显示语义。。。程序。该工具在中间的验证语言布吉,翻译自。。。
  • OFMC公司

  • 27条引用[sw09466]
  • OFMC)。本机输入语言OFMC的是AVISPA中间格式化IF。OFMC也。。。
  • 皮尔斯纳

  • 参考6篇文章[sw20004]
  • 针对高阶命令的已验证编译器语言. 编译器验证对于构造。。。适用于使用不同中间的 语言或者使用非标准程序转换。。。通过基于CPS的中间的 语言. 皮尔斯纳是第一个多程编译器。。。
  • 普通中等教育

  • 引用4篇文章[sw22622]
  • 认证的Compcert编译器和Cminor中间的 语言. 我们增加:(i)一个新的中间的 语言,GCminor。。。用于多种来源语言以及收藏家风格。前端瞄准GCminor。。。格拉斯哥Haskell编译器的核心中间的 语言转到GCminor。支持一个简单但有用的。。。
  • 巴普

  • 参考7篇文章[sw12790]
  • 指令的副作用中间的 语言(IL),使句法定向分析成为可能。我们有。。。
  • 基岩

  • 引用4篇文章[sw28530]
  • 装配特性语言和编译器中间的 语言. 从这个基础上,我们从字面上。。。说C是一个“宏程序集”语言“:我们引入了一个表达性的概念,即认证。。。在我们的中间的 语言; 但是运行时间。。。
  • 菲亚克

  • 参考6篇文章[sw07004]
  • 菲亚克:安中间的 语言对于topcased环境中的模型验证。。。
  • 聚合胺

  • 引用4篇文章[sw08950]
  • 翻译成表达型保险箱中间的 语言. 来源的复杂性语言... 新事物中间的 语言标记控制流的多态标签的定义。。。
  • 生物PEPA

  • 参考文献103篇[sw01361]
  • 佩帕可能被视为中间的,生物系统的形式化,组成表现,在其上。。。佩帕已经被考虑并扩展到我们的语言. 最后,我们展示翻译。。。