• 轻量级Java

  • 86篇参考文献[SW16204]
  • 关于关键属性的严格论证类型安全我们把这个过程一步一步…甚至赋值)获得一个小的微积分轻量级Java,为其提供严格的证明…与Java类似的关系兰姆达-微积分对语言这样…紧跟Java的一个证明类型轻量级Java的安全性说明了许多…
  • 维姆拉姆达

  • 1篇参考文献[SW17460]
  • 简单地扩展标准类型化的按值调用兰姆达-微积分. 虽然这个延伸,VMlambda…
  • 辅酶Q

  • 1706篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 格菲

  • 123篇参考文献[SW034 4]
  • GFALSE软件包提供了确定和…的工具。
  • 毫升

  • 491篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • 46篇参考文献[SW01224]
  • 模块化程序设计语言是…的后裔。
  • Perl

  • 252篇参考文献[SW01225]
  • 编程语言Perl。Perl是一种简单易懂的语言。
  • Salm Talk

  • 163篇参考文献[SW01561 ]
  • SimultLoad是面向对象的、动态的类型化的反射的…
  • 埃兰

  • 105篇参考文献[SW02179]
  • ELAN系统提供了用于指定…的环境。
  • 米兰达

  • 147篇参考文献[SW0988]
  • 米兰达:一个具有多态性的非严格功能语言。
  • 莫德

  • 645篇参考文献[SW06263]
  • Maude是一种高性能的反射语言和…