• 牡蛎

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

  • 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编程语言为合成可逆电路。可逆逻辑是基础…重要问题。到目前为止,只有合成依赖布尔函数表示的方法是可用的…图表。在本章中,我们提出了编程允许指定…的语言