结果1至20707
排序依据：

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

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

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

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

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

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

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

  • SemFix公司
  • 引用5篇文章[sw17449]
  • 符号执行、约束求解和程序 合成. 在我们的方法中，对修复的要求。。。比较我们的方法和最近提出的遗传算法编程基于SIR的维修程序带着种子。。。

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

  • 李亚帕斯
  • 参考6篇文章[sw32275]
  • 代表合成算法或LYaPAS（ЛЯПАС）是一个编程突然出现的语言。。。面向编程属于合成有限状态和离散器件的算法。。。

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

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

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

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

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

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

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

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