• 毫升

  • 引用512篇文章[sw01218]
  • 要求明确类型注释,并确保类型 安全–有正式证据表明。。。
  • 特维尔

  • 在169篇文章中引用[sw06888号]
  • 证明携带代码系统,以及类型 安全标准证明。。。
  • 羽状爪哇

  • 引用89篇文章[sw16204号]
  • 关于关键属性的参数,例如类型 安全. 我们把这个过程推进了一步。。。以下是Java的一个证明类型 安全对于轻量级的Java,因此说明了许多。。。安全完整语言的证明,同时保持令人愉快的紧凑。最小语法,打字规则。。。详细证明类型 安全. 扩展系统首次正式化。。。
  • CIL公司

  • 引用了35篇文章[sw26691]
  • 通过运行时检查来确保类型 安全. CIL为我们服务得很好。。。
  • 迪伦

  • 引用13篇文章[sw26095]
  • 系统编程。迪伦包括垃圾收集,类型-安全错误恢复,模块系统和程序员。。。
  • 计划

  • 引用13篇文章[sw22065]
  • 对程序员的保证,例如类型 安全. 一个旨在保护。。。
  • 乔丹

  • 参考12篇文章[sw24342]
  • 证明类型 安全. 为了证明有用性。。。
  • 发生

  • 引用24篇文章[sw10057]
  • 静态验证为类型保险箱和指针安全必须检查。。。
  • 金贾螺纹

  • 引用8篇文章[sw28538]
  • 源代码和字节码并显示类型 安全对于多线程情况。同样,编译器。。。
  • 聚合胺

  • 引用4篇文章[sw08950]
  • 代表它所有的孩子。类型 安全要求类型每一个孩子。。。
  • TS公司#

  • 引用3篇文章[sw14208]
  • 通过各种检查确保类型 安全尽管它与武断。。。主定理采用了类型-保存编译,其中我们证明了所有运行时。。。打字在JS中,以前提出的打字验证JavaScript功能正确性的语言。。。JavaScript,同时提供强大的安全担保打字...
  • 联轴节

  • 引用31篇文章[sw07861]
  • 安全核废料管理评估。它导致经典的对流扩散类型问题。。。
  • 金贾不是爪哇

  • 引用2篇文章[sw28876号文件]
  • 确定的初始化分析;a类型 安全小步骤语义的证明;虚拟机。。。语义学及其类型系统;a类型 安全JVM的证明;字节码验证器。。。字节码验证器w.r.t.的证明类型一个编译器和一个证明。。。
  • HMC公司

  • 参考6篇文章[sw09867]
  • 减少验证的算法安全属性打字程序间的高阶函数程序。。。工作原理如下。首先,它使用类型生成功能程序的结构。。。满足性意味着安全源程序的。下一步,它改变。。。interproc–验证ocaml程序。通过作曲类型-基于程序语法推理。。。
  • 信号

  • 引用51篇文章[sw02915]
  • 然而,这是一个很难解决的问题安全要求。要启用单独编译。。。信号系统模块。就像数据一样-类型描述程序模块的不变量。。。
  • NL2型

  • 1条引用[sw31110]
  • 动态打字因此缺乏类型 安全静态的打字语言,导致次优。。。
  • XPi公司

  • 参考6篇文章[sw09430]
  • 静态和动态打字. 在XPi中,a类型系统规范XML消息处理。。。过程。运行时间安全定理保证了-打字系统没有服务。。。
  • 间谍

  • 参考6篇文章[sw22152]
  • 多党会议理论类型,我们的工具链实现验证了通信安全全局上的属性。。。发生非法通信行为和信息类型不符合协议的。。。