-
牡蛎
- 在34篇文章中引用[sw19629]
- 定理证明与程序 合成加牡蛎。马丁-洛夫型理论提供了一个形式框架。。。验证的结构程序,都是在类型论中指定和书写的。我们描述。。。接近。我们通过描述合成一个简单的算术表达式求值器。。。
-
普里兹
- 引用8篇文章[sw29713]
- 结合传统编程自动化技术合成属于程序根据规范。它使。。。由系统用于程序 合成. 普里兹不受任何特定。。。问题域,但适用于合成属于程序解决一个叫。。。
-
闪光金属
- 引用5篇文章[sw29484]
- FlashMeta:归纳法的框架程序 合成. 归纳的合成,或编程-举例来说。。。操作员。这种观察使一部小说程序 合成被称为数据驱动领域特定演绎的方法。。。
-
马哈
- 参考7篇文章[sw15809]
- 玛哈:A程序对于数据路径合成. 玛哈是个程序它实现了一个算法。。。寄存器级合成数据流规范中的数据路径。算法是基于。。。最少的调度自由度首先被调度。这个程序要么最小化成本,但要受时间限制。。。
-
SemFix公司
- 引用5篇文章[sw17449]
- 符号执行、约束求解和程序 合成. 在我们的方法中,对修复的要求。。。比较我们的方法和最近提出的遗传算法编程基于SIR的维修程序带着种子。。。
-
李亚帕斯
- 参考6篇文章[sw32275]
- 代表合成算法或LYaPAS(ЛЯПАС)是一个编程突然出现的语言。。。面向编程属于合成有限状态和离散器件的算法。。。
-
埃普雷特
- 引用2篇文章[sw29483]
- 学习归纳法的机器学习公式程序 合成; 给出了输入输出示例。。。用于表达的领域特定语言程序 合成问题。perpret类似于概率编程... 离散可满足性求解与素描程序 合成系统。我们说明了解释的价值。。。学习型社区程序 合成...
-
乐高
- 引用107篇文章[sw09685]
- 例如,系统的特性类似于参数合成宇宙多态性使得证据检查更多。。。数学问题形式化语言程序规范和开发。。。
-
MCGP公司
- 引用15篇文章[sw00562]
- 基于我们的合成深层模型检验与遗传算法相结合的方法编程. 鉴于。。。语法构建块程序,和健身功能,并遵循。。。它们对合成进程。。。
-
螺母
- 引用2篇文章[sw29714]
- 基于编程有自动装置程序 合成. 系统允许指定计算问题。。。使用自动求解算法程序 合成前面描述过普里兹系统。。。
-
滑雪
- 引用2篇文章[sw25433]
- 交互式定理证明器程序 合成并在Quintus-Prolog中实现。对象级别。。。校样检索。这些提取的术语是程序遵循编程用证明范式,有。。。系统实际上是程序 合成环境,因为规范可以被视为。。。命题及其作为a的提取项程序符合本规范。。。