• 毫升

  • 498篇参考文献[SW01218]
  • 需要明确的类型注释,并确保类型 安全有一个正式的证据证明…
  • 特威尔

  • 166篇参考文献[SW0688]
  • 证明携带代码系统类型 安全标准的证明…
  • 轻量级Java

  • 86篇参考文献[SW16204]
  • 关于关键属性的论证类型 安全. 我们把这个过程再向前一步…遵循Java的一个证明类型 安全对于轻量级Java,因此说明了许多…安全证明完整的语言,同时保持愉快紧凑。最小语法,打字规则给出详细的证明类型 安全. 扩展系统首次正式化。
  • CIL

  • 34篇参考文献[SW26691]
  • 运行时检查以确保类型 安全. CIL为我们服务得很好…
  • 迪伦

  • 13篇参考文献[SW26095]
  • 系统编程。迪伦包括垃圾收集,类型-安全、错误恢复、模块系统和程序员…
  • 计划

  • 13篇参考文献[ SW22065 ]
  • 对程序员的保证,如类型 安全. 一种更为新颖的旨在保护…的财产
  • 兆焦耳

  • 12篇参考文献[SW2432]
  • 提供证据类型 安全. 为了证明其有用性…
  • Jinja螺纹

  • 8篇参考文献[ SW28 538 ]
  • 源代码和字节代码类型 安全对于多线程的情况。同样地,编译器…
  • 聚胺

  • 4篇参考文献[ SW08950]
  • 代表其所有儿童。类型 安全要求类型每个孩子…
  • TS

  • 3篇参考文献[SW14208]
  • 通过各种检查确保类型 安全尽管它与任意的相互作用…主定理采用一种形式类型-保存编译,其中我们证明了所有运行时…类型化的在JSα中,先前提出的依赖性类型化的证明JavaScript功能正确性的语言…JavaScript,同时提供强大安全凭借担保打字
  • 耦合器

  • 31篇参考文献[ SW07861 ]
  • 安全核废物管理评估。它导致了经典的对流扩散。类型问题…
  • Jinja不是爪哇

  • 2篇参考文献[ SW28 876 ]
  • 确定的初始化分析;类型 安全小步语义的证明;虚拟机…语义学及其类型A系统类型 安全JVM的证明;字节码验证器…字节码验证器W.R.T.的证明类型系统;编译器和证明…
  • HMC

  • 6篇参考文献[SW09867 ]
  • 减少验证的算法安全性质类型化的高阶函数程序到程序间…作品如下。首先,它使用类型结构函数程序生成…满意暗示的逻辑细化约束安全源程序。接下来,它转换…互操作-验证OCAM程序。作曲类型以程序语法为基础的推理…
  • 信号

  • 51篇参考文献[SW0915]
  • 然而,全球化成为一个难题。安全要求启用单独编译…信号模块系统。就像数据一样——类型描述程序模块的不变量…
  • NL2型

  • 1篇参考文献[SW31110]
  • 动态地类型化的因此缺乏类型 安全静态地类型化的语言,导致次优…
  • XPI

  • 6篇参考文献[SW09430]
  • 静态与动态打字. 在XPi类型系统纪律XML消息处理…过程。运行时安全定理确保井类型化的系统没有服务将…
  • 调查

  • 6篇参考文献[SW22152]
  • 多党对话理论类型我们的工具链实现验证了通信安全全局性能非法通信行为和消息的发生类型那不符合议定书…