• 牡蛎

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

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

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

  • 引用4篇文章[sw29484]
  • FlashMeta:归纳法的框架程序 合成. 归纳的合成,或编程-举例来说。。。操作员。这种观察使一部小说程序 合成称为领域驱动的演绎方法。。。
  • 马哈

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

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

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

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

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

  • 引用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]
  • 孟德尔:同时程序 合成时序逻辑系统程序 合成叫做孟德尔的系统。。。它是的目标语言程序 合成,也提供了。孟德尔包括。。。孟德尔是智能系统的一个子系统编程孟德尔环境保护区。。。