• 蟒蛇

  • 引用1319篇文章[sw14460]
  • 程序样式。它的特点是类型 系统自动内存管理。。。
  • 毫升

  • 引用512篇文章[sw01218]
  • 多态性辛德雷-米尔纳类型 系统,它将自动分配类型不需要大多数的表达。。。
  • OCaml公司

  • 引用了271篇文章[sw06363号]
  • 通过声音连接,多态的类型 系统特色类型推断。OCaml公司系统...
  • 拉帕克

  • 在1617篇文章中引用[sw00503]
  • 线性方程组,线性方程组的最小二乘解系统方程,特征值问题,奇异值。。。各种各样的类型矩阵乘法与三角形的求解系统有多个右手。。。
  • 枫木

  • 5020篇文章引用[sw00545]
  • 广度、深度和性能类型数学。Maple的直观界面支持。。。图形、图像、声音和图表。计算机代数系统...
  • gmp

  • 引用263篇文章[sw00363]
  • 应用与研究,互联网安全应用,代数系统,计算代数研究等。。。以全字为基本运算类型,通过使用快速算法和高度优化的装配。。。主要目标平台是Unix-类型 系统,例如GNU/Linux、Solaris。。。
  • 朱莉娅

  • 在242篇文章中引用[sw13986]
  • 泛型函数和类型 系统同时实现了一个富有表现力的编程模型和成功的。。。
  • 米兰达

  • 引用151篇文章[sw04986]
  • 多态严格函数语言类型. 在过去的几年里,我们看到了很多富有成效的研究。。。SASL和KRC。到达系统更适合解决大问题米兰达。。。这个基础(i)多态性类型 系统以及(ii)图书馆结构类型安全。。。讨论类型 系统尤其是用户定义的类型...
  • 低成本

  • 在157篇文章中引用[sw08360]
  • 历史很短。原始LCF系统是斯坦福大学开发的一个校对程序。。。它和创新的多态性类型 系统同时使用。。。
  • 乐高

  • 引用107篇文章[sw09685]
  • 乐高是一个交互式的证据开发系统(校对助理)由兰迪·波拉克设计和实现。。。Jersey ML。它实现了各种相关的类型 系统-爱丁堡逻辑框架(LF),微积分。。。依赖统一理论类型(UTT)。乐高是一个强大的工具,用于交互式证据开发。。。精化证明作为基本运算。这个系统设计强调去除更乏味的方面。。。
  • 特维尔

  • 在169篇文章中引用[sw06888号]
  • 指定、实现和证明演绎的性质系统例如编程语言和逻辑。大。。。使用Twelf的研究项目包括TALT打字汇编语言。。。基本证据携带代码系统,和类型标准安全证明。。。
  • 阿格达

  • 引用180篇文章[SW099号文件]
  • 字符和交互式Emacs接口(类型checker可以帮助开发。。。校对助理:这是一个交互式的系统用于书写和检查校样。。。Agda基于直觉类型理论,基础系统对于建构数学的发展。。。根据其他助手的证据类型如Coq、警句、NuPRL等。这个。。。
  • 克莱姆

  • 引用71篇文章[sw09424]
  • 实现。KLAIM装备了类型 系统静态检查访问权限冲突。。。与各地的关系。这个类型 系统用于确定。。。
  • 皮克特

  • 引用71篇文章[sw08929]
  • 方便的语法糖和静态类型 系统到一个微小的核心。当前版本。。。选择性通信和并发对象。这个类型 系统集成了许多发现的功能。。。
  • CGS公司

  • 引用301篇文章[sw08225]
  • 快速兰佐斯-类型非对称线性方程的求解器系统本文提出的方法是一种结合。。。
  • CVX公司

  • 在683篇文章中引用[SW044号文件]
  • 建模系统用于构造和求解约束凸规划(DCPs)。CVX支持一个数字。。。标准问题类型包括线性规划和二次规划(LPs/QPs)、二阶锥规划(SOCP)。。。
  • 新鲜的

  • 引用49篇文章[sw08992]
  • FreshML使用了复杂的静电类型 系统推断关于名字“新鲜度”的信息。。。显示(也许是令人惊讶的)一个标准类型 系统没有新鲜感的推断,再加上传统的。。。
  • TALx86

  • 引用了45篇文章[sw34511]
  • 比如英特尔奔腾。这个类型 系统因为语言包含了一个数字。。。激励设计类型 系统,我们提供类型-安全,基于C语言。。。
  • 干净

  • 参考58篇文章[sw01346]
  • 清洁版提供混合动力类型 系统既有静态的也有动态的。。。
  • 吹毛求疵

  • 引用59篇文章[sw00622]
  • 案例研究,我们考虑安全性类型 系统还有一张旅馆的钥匙卡系统...