• 牡蛎

• 32篇参考文献[SW19629 ]
• 定理证明程序 合成牡蛎。马丁洛夫类型理论提供了一个正式的框架…施工验证程序在类型理论中都有指定和书写。我们描述…方法。我们通过描述这一点来说明这一点。合成一个简单的算术表达式求值器…

• 罗塞塔

• 22篇参考文献[SW10969]
• 编程面向过程的环境合成逻辑的程序…

• 森巴

• 11篇参考文献[ SW085 28 ]
• 软件验证中的应用程序 合成功能性的编程细化类型…

• 普里兹

• 8篇参考文献[SW29 713]
• 组合常规编程自动化技术合成属于程序从规格。它使…用于系统的程序 合成. PRIZ不受任何特定的限制。问题域，但适用于合成属于程序解决一个广类的问题叫…

• 闪族元

• 4篇参考文献[SW29 84]
• Flash Meta：一个归纳框架程序 合成. 归纳法合成或编程-通过例子…操作员。这一观察使小说成为可能。程序 合成方法称为数据驱动域特定演绎…

• 玛哈

• 7篇参考文献[SW15809]
• 马哈：A程序用于数据路径合成. 马哈是程序它实现了一个算法…寄存器级合成数据流规范中的数据路径。该算法是基于…首先调度最少的调度自由度。这个程序要么最小化成本，要么花费时间…

• 两性离子

• 5篇参考文献[SW0953]
• 也用于记录规范。程序 合成是基于构造定理证明…

• 特雷特

• 2篇参考文献[SW29 83]
• 归纳学习机器学习公式的研究程序 合成给定的输入输出示例…领域专用语言程序 合成问题。TelpRT类似于概率编程…离散可满足性求解与素描程序 合成系统我们说明了TelpRT的价值。学习社区进步程序 合成…

• APTS

• 4篇参考文献[SW03405]
• 程序 合成从使用APTS的正式需求规范…

• 斯纳克

• 4篇参考文献[SW19611]
• 统一算法、分类、答案构造程序 合成通过LISP代码的程序附件和可扩展性…

• AutoBayes／CC

• 4篇参考文献[SW01806]
• AutoBayes／CC—组合程序 合成具有自动代码认证——系统描述。代码认证是轻量级的…

• 乐高

• 106篇参考文献[SW09685 ]
• 示例，系统类似参数的特征合成宇宙多态性使得证据检验更加有效。数学问题形式化语言程序规范和发展…

• 色瓦

• 9篇参考文献[SW08111]
• 描述，和SeWaA程序这样做的合成，提出。任务包括…

• MCGP

• 14篇参考文献[SW0562]
• 基于我们合成深度模型检验与遗传算法相结合的方法编程. 鉴于。。。句法构建块的结构程序和健身功能，并遵循…它们对收敛性的影响合成过程…

• 坚果

• 2篇参考文献[SW29 714]
• 基于编程自动化设施程序 合成. 该系统允许指定计算问题…用自动算法求解程序 合成先前描述的PRIZ系统…

• 斯基尔

• 2篇参考文献[SW25433 ]
• 交互式定理证明器专用于程序 合成并在Quutu-Prolog中实现。对象级别…证明搜索。这些提取的术语是程序跟随编程具有证明范式，具有…系统实际上是一个程序 合成环境，因为一个规范可以被视为…命题及其提取项程序符合这个规格…

• 玫瑰花结

• 3篇参考文献[SW27 566]
• 用语言结构扩展球拍程序 合成，验证，等等。验证或合成…

• 帕秒

• 25篇参考文献[SW09610]
• 合成（RMS）以及模拟大规模多线程商用的系统应用程序。程序…

• 孟德尔

• 1篇参考文献[SW0570]
• 孟德尔：并发程序 合成时序逻辑并发系统程序 合成叫做孟德尔的系统…这是一种目标语言。程序 合成，也提供了。孟德尔是…孟德尔是智能系统的一个子系统。编程环境孟德尔区…

• 赛雷克

• 5篇参考文献[SW23 569]
• SyReC：A编程语言为合成可逆电路。可逆逻辑是基础…重要问题。到目前为止，只有合成依赖布尔函数表示的方法是可用的…图表。在本章中，我们提出了编程允许指定…的语言