• 新鲜的

  • 47篇参考文献[SW08992]
  • 这是通过小说建立的。指称的 语义. 没有新鲜清新的推断…
  • CSP证明器

  • 15篇参考文献[SW11465 ]
  • 故障模型F作为基础指称的 语义CSP。语义上CSP证明者都提供…经典方法指称的 语义完全偏序理论(CPO)也是…
  • 北极天使

  • 14篇参考文献[SW01812]
  • 细化策略;我们提出语言,它的语义以及它的一些代数定律。分开…其他战术语言有指称的 语义证明理论…
  • 弗兰

  • 10篇参考文献[SW21482]
  • 语言,我们提供给他们一个指称的 语义包括正确的实时处理…
  • 荣光

  • 3篇参考文献[SW23 942]
  • 光环:逻辑的哈斯克尔指称的 语义. 即使是好的程序也会出错…允许程序员写快递合同语义的性能,如碰撞自由或一些…写在哈斯克尔,所有的理由指称的 语义. 这种翻译使我们能够证明…
  • 2篇参考文献[SW12636]
  • 指称的 语义的形状:过去的现在和未来。过去的工作语义向量…数组提供了指称的 语义对于新的、更高阶、多态的阵列编程语言FISH…
  • 可控硅

  • 18篇参考文献[SW06939 ]
  • 组织,以指定软件需求,令人惊讶的是,它的语义没有明确的定义。使用的符号…暧昧的,尤指服务于表示SCR事件。这项工作的目的…解决这一歧义,提高SCR语义通过启用一阶逻辑中的事件…
  • HOTSQL

  • 2篇参考文献[SW27 84]
  • HoTTSQL:用单价SQL证明查询重写语义. 每个数据库系统都包含一个查询优化器…纸,我们建议机器检查指称的 语义对于SQL,事实上的语言…语义称为HOTSQL,是基于K-关系和同伦型理论,在这里我们表示
  • HCSP

  • 2篇参考文献[SW02577 ]
  • 适于捕获的CSP变体语义硬件编译,除其他用途外…消息传递系统。一种可能指称的 语义包括在这里,从而允许适当的治疗…
  • 雷克斯伯里

  • 1篇参考文献[SW29 252]
  • 语义关于一个正确的指称的 语义并概述了充分性证明。我们有。。。
  • NQML

  • 1篇参考文献[SW22184]
  • 量子态。我们提供了一个指称的 语义超密度矩阵和酉变换,启发…
  • IMP+EXC

  • 1篇参考文献[SW28 535]
  • 目标语言指称的 语义的IMP+EXC命令式编程语言,并允许…
  • FrpHNOW

  • 1篇参考文献[ SW200 16]
  • 代码我们还提供了一个指称的 语义对于这个新的接口,和一个技术(使用…
  • 0篇参考文献[SW24326]
  • 语义的实现自动化测试Oracle生成的方法。本文介绍了该系统的设计、实现和应用。提供用于定义的声明性符号。指称的 语义在每一个生产语法规则,这样…生成测试用例,其预期语义也会自动评估,服务…尝试应用方法论指称的 语义在测试和甲骨文生成…
  • MAGMA2

  • 1篇参考文献[SW28 717]
  • 使用实例。这个语义的模型有指称的味道也可以用…
  • 安迪

  • 2篇参考文献[SW1658]
  • 具有本地属性的状态表示它的水平(例如浓度、强度)。实体级别…随着时间的推移逐渐腐烂。这个语义安迪正式通过高…
  • 达菲

  • 1篇参考文献[SW26938 ]
  • 达菲)Lotos的时间扩展版本,表示的时间LTOS,提出了建模…这种语言既不是句法也不是语义被限制到特定的时间域…
  • 生动的

  • 3篇参考文献[SW01316]
  • 一个家庭的形式指称的证明语言(DPLS)。我们提出了新的形式结构,称为…命名系统状态,并开发一个正式的语义的基于三值逻辑的框架…
  • 模板辅料

  • 2篇参考文献[SW27 569]
  • 内核,以及一个外延命令。最初,它是为了目的而开发的…λ$ -微积分〔13〕。然而,语法缺乏。语义是打字吗?语义或操作语义