• 马戏团

  • 引用88篇[sw21828]
  • 微积分. 我们描述了马戏团的语言及其模式的形式化白发...
  • 奥卡姆派

  • 参考7篇文章[sw07145]
  • 元素来自白发的CSP和Milner的$pi$-微积分变成一种编程语言。。。
  • 灰镜

  • 在0篇文章中引用[sw05569]
  • 超过自然数使用白发逻辑(白发 微积分). 它可以用来。。。
  • UTP2型

  • 引用3篇文章[sw06342]
  • 二阶谓词定理证明助手微积分,旨在支持基本的证明工作。。。文学,源于霍尔&他[HH98]继续前进。本文描述了。。。
  • ACL2

  • 引用277篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 鸡尾酒

  • 引用5篇文章[sw00142]
  • 鸡尾酒:推导正确程序的工具(艾因霍温。。。
  • 伊莎贝尔

  • 在606篇文章中引用[sw00454]
  • 伊莎贝尔是一个普通的校对助理。它允许。。。
  • 超小卫星

  • 引用文献531篇[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 毫升

  • 引用514篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 小话

  • 引用189篇文章[sw01561]
  • Smalltalk是一个面向对象的、动态类型的、反射的。。。
  • Ada95型

  • 引用288篇文章[sw01753]
  • Ada是一个结构化的,静态类型的,命令式的,广泛的。。。