第1至第20个结果599
排序依据：

  • 牡蛎
  • 引用32篇文章[sw19629]
  • 定理证明与程序 合成加牡蛎。马丁-洛夫理论提供了一个形式化的框架。。。验证的结构程序，都是在类型论中指定和书写的。我们描述。。。接近。我们通过描述合成一个简单的算术表达式求值器。。。

  • 符号
  • 参考11篇文章[sw08528]
  • 用于软件验证，程序 合成，功能性编程，优化类型。。。

  • 普里兹
  • 参考第8条[sw29713]
  • 结合传统编程自动化技术合成属于程序根据规范。它使。。。由系统用于程序 合成. 普里兹不受任何特定。。。问题域，但适用于合成属于程序解决一个叫。。。

  • 闪光金属
  • 参考第4条[sw29484]
  • FlashMeta：归纳法的框架程序 合成. 归纳的合成，或编程-举例来说。。。操作员。这种观察使一部小说程序 合成被称为数据驱动领域特定演绎的方法。。。

  • 马哈
  • 参考第7条[sw15809]
  • 玛哈：A程序对于数据路径合成. 玛哈是个程序它实现了一个算法。。。寄存器级合成数据流规范中的数据路径。算法是基于。。。最少的调度自由度首先被调度。这个程序要么最小化成本，但要受时间限制。。。

  • 两性离子
  • 引用5篇文章[sw09953]
  • 也用于记录规范。程序 合成基于构造定理证明。。。

  • GME公司
  • 引用5篇文章[sw33604]
  • 创建特定于领域的建模和程序 合成环境。配置是通过元模型指定。。。

  • 埃普雷特
  • 引用2篇文章[sw29483]
  • 学习归纳法的机器学习公式程序 合成；给定输入输出示例。。。用于表达的领域特定语言程序 合成问题。perpret类似于概率编程... 离散可满足性求解与素描程序 合成系统。我们说明了解释的价值。。。学习型社区程序 合成...

  • 乐高
  • 引用107篇文章[sw09685]
  • 例如，系统的特性类似于参数合成宇宙多态性使得证据检查更多。。。数学问题形式化语言程序规范和开发。。。

  • 斯诺克
  • 参考第4条[sw19611]
  • 统一算法，分类，答案构造程序 合成，过程附加，以及Lisp代码的可扩展性。。。

  • 自动人行道/CC
  • 参考第4条[sw01806]
  • AutoBayes/CC—组合程序 合成具有自动代码认证——系统描述。代码认证是一种轻量级。。。

  • 世华
  • 引用9篇文章[sw08111]
  • 描述了，和世华，一个程序这样的表演合成，显示。任务包括。。。

  • MCGP公司
  • 在14篇文章中引用[sw00562]
  • 基于我们的合成结合深层遗传模型检验的方法编程. 鉴于。。。语法构建块程序，和健身功能，并遵循。。。它们对合成进程。。。

  • 螺母
  • 引用2篇文章[sw29714]
  • 基于编程有自动装置程序 合成. 系统允许指定计算问题。。。使用自动求解算法程序 合成前面描述过普里兹系统。。。

  • 滑雪
  • 引用2篇文章[sw25433]
  • 交互式定理证明器程序 合成并在Quintus-Prolog中实现。对象级别。。。校样检索。这些提取的术语是程序遵循编程用证明范式，有。。。系统实际上是程序 合成环境，因为规范可以被视为。。。命题及其作为a的提取项程序符合本规范。。。

  • 花环
  • 引用3篇文章【sw27566】
  • 使用的语言构造扩展Racket程序 合成、验证等。验证或综合。。。

  • 帕塞克
  • 在26篇文章中引用[sw09610]
  • 合成以及模拟大规模多线程商业化的系统应用程序程序...

  • 孟德尔
  • 1条引用[sw00570]
  • 孟德尔：同时程序 合成时序逻辑系统程序 合成叫做孟德尔的系统。。。它是的目标语言程序 合成，也提供了。孟德尔包括。。。孟德尔是智能系统的一个子系统编程孟德尔环境保护区。。。