• 巴别塔

  • 引用71篇文章[sw03018]
  • 懒惰的基础减少 语义学它体现了重写和SLD解决方案并支持。。。巴别塔项目的模型。我们两者兼而有之语义学证明了最小赫布朗德的存在。。。的可靠性结果减少 语义学w、 r.t.陈述式的。我们还画了一个完整的。。。的结果减少 语义学并通过编程说明了该语言的特点。。。
  • dr方案

  • 引用了30篇文章[sw01265]
  • 根据减少 语义学计划的。这有助于解释。。。
  • PLT Redex公司

  • 引用23条[sw09921]
  • 第一次全面介绍减少 语义学在一卷;它也介绍了第一个可靠的。。。开发、探索、测试、调试和发布语义的编程语言模型。有了PLT Redex,语义学家。。。将模型作为语法和减少他们电脑上的模型很容易用纸。。。
  • 偿付能力资本要求

  • 引用19篇文章[sw06939]
  • 改进语义学软件成本的减少方法虽然软件成本高减少... 组织指定软件需求,令人惊讶的是语义学没有很好的定义。使用的符号。。。
  • 投资

  • 在10篇文章中引用[sw10103]
  • 与他们的执行力相当减少-基于语义学. 我们还描述了公司。。。
  • FC2工具

  • 参考第11条[sw12386]
  • 代数理论,语法和语义学;成分验证减少和抽象;替代的或组合的。。。
  • 多劳尔

  • 引用23条[sw14205]
  • 语义学. 在受试者的帮助下获得了型式安全性的证明减少...
  • 防抱死制动系统

  • 在26篇文章中引用[sw21211]
  • 形式化类型系统和语义学核心ABS,一个微积分的主要特点。。。核心腹肌,我们证明了一个主题减少表明字体保持良好的特性。。。
  • 阿贝拉

  • 引用49篇文章[sw09461]
  • 它支持结构的透明编码语义学规则,还可以执行它们。。。数列演算与类型唯一性与主客体减少属性。本文讨论的逻辑基础。。。
  • 雾化器

  • 17条引用[sw08924]
  • 根据他们的顺序来理解语义学这大大简化了(正式和非正式)正确性论证。。。两种利普顿理论的思想减少以及早期的动态竞争检测器。经验。。。
  • 乌尔萨

  • 引用4篇文章[sw15541]
  • 编程范例。这个减少是由SAT精确定义的语义学规范的。。。
  • 心理医生

  • 引用2篇文章[sw30319]
  • 状态空间减少技术。它的架构在语法方面有利于可重用性,语义学和算法。。。
  • FunArray公司

  • 在14篇文章中引用[SW708号]
  • 数组和集合。自动分析和语义上将数组分成连续的不重叠的可能。。。绑定表达式、段抽象和减少操作员。一旦函子被实例化为。。。
  • 幸运

  • 引用3篇文章[sw21716]
  • 关于标准谓词的生成语义学. 我们用常见的例子来评估运气。。。可比的错误查找效率和减少在测试代码大小与手写相比。。。
  • 上网本

  • 1条引用[sw23978]
  • 收集、组织和高效创建系统语义的概念、名词短语和文档的向量。。。确保系统的可伸缩性,尺寸减少使用随机投影执行。此外,我们提出。。。
  • 电车

  • 引用2篇文章[sw03369]
  • 因为它们有精确的语义学以及验证和推理的能力。。。采用有轨电车策略减少战略。并行TRAM是一种并行变体。。。
  • vm攻击

  • 1条引用[sw31766号]
  • 通过过滤来压缩指令序列语义上执行跟踪的冗余指令。综合。。。平均执行和保护VMAN执行减少89.86%的人。。。
  • PSLDoc公司

  • 1条引用[sw24765]
  • 基于概率和间隔的语义的分析(PLSA)来解决这个问题。。。信息。然后应用PLSA进行特征提取减少,并将简化后的向量输入到5。。。
  • ACL2

  • 引用276篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。