• 规格#

  • 引用120篇文章[sw04598]
  • 语言、规范编译器和布吉静止的程序验证程序。语言包括结构。。。编译器向发出运行时检查执行这些规范,验证者可以检查。。。
  • 雨衣

  • 1条引用[sw32897]
  • 已证实的静止的信息流控制库。编程语言Haskell扮演着一个独特的特权角色。。。控制(IFC)研究:它能够执行图书馆的信息安全。许多州。。。工作,我们专注于MAC静态地-强制执行Haskell的IFC库。在MAC里,就像。。。
  • 会话ocaml

  • 1条引用[sw32937]
  • 插槽是用镜头操纵的静态地 执行会议线性和授权。我们展示应用程序。。。
  • 基林

  • 参考7篇文章【sw20229】
  • 演示静止的围绕隔离类型限定符生成的分析执行这些限制。基林舒服地。。。
  • 安全代码

  • 引用4篇文章[sw13323]
  • 安全代码:强制执行弱类型语言的别名分析。静态弱类型程序分析。。。
  • HLIO公司

  • 引用3篇文章[sw22611号文件]
  • HLIO:混合静止的以及Haskell中用于信息流控制的动态类型。信息流控制。。。典型的强制执行通孔式系统和静止的分析或通过动态执行监视器。。。
  • 合同

  • 引用3篇文章[sw13677]
  • 文件和强制执行. 合同比静止的类型。如果合同。。。
  • 复数

  • 引用2篇文章【sw13787】
  • 论文介绍了复数,一种自动的工具执行在Java中使用权限的基于类型状态的协议。。。方法和方法参数的注释。A静止的流分析跟踪代码中的权限。。。
  • 圣人

  • 引用3篇文章[sw30073]
  • Sage程序设计语言执行以灵活的方式精确的接口规范。。。检查这种表达性语言不是静态地可判定,Sage使用混合类型检查,这。。。
  • 食糜

  • 1条引用[sw34338]
  • 改进输出的一般技术静止的安全检查。关键的想法。。。可忽略因子(x 1.006)。其他政策是强制执行具有同样高水平的功效。。。
  • 变形机器人

  • 1条引用[sw34337]
  • 已提出解决方案以验证或执行隐私政策。现有的一个关键限制。。。本文介绍了一部小说《变形机器人》静止的验证移动应用程序的分析算法。。。
  • 高铁

  • 引用269篇文章[sw00418]
  • HSL(以前的哈韦尔子程序库)是一个。。。
  • 旋转

  • 引用711篇文章[sw03455]
  • Spin是一个流行的开源软件工具。。。
  • PETSc公司

  • 参考1176篇文章[sw04012]
  • 便携式,可扩展的科学计算工具包(PETSc。。。