• 新鲜的

  • 引用49篇文章[sw08992]
  • 这是通过一本小说确立的指称的 语义学. 没有静态新鲜度推断的FreshML。。。
  • CSP校准仪

  • 引用15篇文章[sw11465]
  • 故障模式F作为基础指称的 语义学CSP的。语义上,CSP Prover同时提供。。。经典方法指称的 语义学:完全偏序理论(cpo)以及。。。
  • 天使

  • 在14篇文章中引用[sw01812]
  • 精炼策略;我们呈现语言,其语义学,以及它的一些代数定律。分开。。。其他战术语言有指称的 语义学以及证明理论。。。
  • 弗兰

  • 参考11篇文章[sw21482]
  • 语言,我们为他们提供指称的 语义学,包括正确的实时处理。。。
  • 光环

  • 引用3篇文章[sw23942]
  • 光环:哈斯凯尔到逻辑通过指称的 语义学. 即使是类型良好的程序也可能出错。。。允许程序员编写合同语义的属性,例如碰撞自由或其他。。。用Haskell写的,都是由指称的 语义学. 这个翻译使我们能够证明。。。
  • 引用2篇文章[sw12636]
  • 指称的 语义的形状:过去现在和未来。过去的工作语义学向量的。。。数组提供了指称的 语义学对于新的,高阶,多态数组编程语言FISh。。。
  • 偿付能力资本要求

  • 引用19篇文章[sw06939]
  • 组织指定软件需求,令人惊讶的是语义学没有很好的定义。使用的符号。。。模棱两可的,尤指表示SCR事件。这项工作的目的。。。解决这种模糊性并改进SCR语义学通过在一阶逻辑中启用事件。。。
  • 霍特SQL

  • 引用2篇文章[sw27484]
  • HoTTSQL:用单叶SQL证明查询重写语义学. 每个系统都包含一个查询。。。论文,我们建议一个机器检查指称的 语义学对于SQL,事实上的语言。。。语义学,称为HoTTSQL,是基于K-关系和同伦类型理论,其中我们表示...
  • ProbNetKAT公司

  • 引用2篇文章[sw21703]
  • 带有a的NetKAT的概率扩张指称的 语义学基于马尔可夫核。语言。。。
  • HCSP公司

  • 引用2篇文章[sw02577]
  • 用于捕获语义学硬件编译,以及其他目的。。。信息传递系统。可能的指称的 语义学包括在这里,以便进行适当的治疗。。。
  • 微分博弈逻辑

  • 引用2篇文章[sw32245]
  • 游戏。除了语法和语义学,它形式化了一个统一的代换演算。。。关于他们的博弈逻辑指称的 语义学. 一传统替换速度更快。。。
  • 电话号码

  • 1条引用[sw32233]
  • 分配)。我们使用语法和指称的 语义学从词条“Launchbury”开始,我们正式确定。。。Launchbury很自然语义学对于懒惰的评价。调用数的功能正确性。。。证明了这点指称的 语义学. 其操作特性与……有关。。。
  • 劳恩斯伯里

  • 1条引用[sw29252]
  • 语义学关于a的修正指称的 语义学,并概述了充分性证明。我们有。。。
  • nQML

  • 1条引用[sw22184]
  • 量子态。我们提供指称的 语义学超密度矩阵和酉变换,启发。。。
  • 前额

  • 1条引用[sw20016]
  • 代码。我们还提供指称的 语义学对于这个新的界面,和一种技术(使用。。。
  • 在0篇文章中引用[sw24326]
  • 语义的自动化测试oracle生成方法。本文介绍了该系统的设计、实现和应用。。。提供用于定义指称的 语义学在每个产生式语法规则上,这样。。。测试用例已生成,其预期语义学也会自动评估,服务。。。尝试应用指称的 语义学在测试和oracle生成中。。。
  • 岩浆2

  • 1条引用[sw28717]
  • 其使用示例。这个语义的模型有一个指称的香精,可以用。。。
  • 重建者

  • 1条引用[sw32101]
  • 引入不完整模型(对于表示一些术语缺失)成为科学。。。准完全语义学内置于重建器中,用于处理表示出现故障。第三。。。
  • 安迪

  • 引用2篇文章[sw16548号]
  • (其中)具有局部属性、状态表示其水平(如浓度、强度)。实体级别。。。随着时间的推移逐渐衰变。这个语义学ANDy的名字是通过high。。。