• 巴别塔

  • 引用71篇文章[sw03018]
  • 懒惰还原的基础语义学它体现了重写和SLD解决方案并支持。。。数据结构。还有一个声明的 语义学,基于Scott域,它提供。。。还原的可靠性结果语义学w、 r.t声明的一个。我们还画了一个完整的。。。
  • 卢普斯

  • 引用了37篇文章[sw02579]
  • 他们研究并定义了声明的可操作性语义学逻辑程序序列。。。给定的状态声明的程序性的语义学他们的结合。但在具体情况下。。。
  • 催眠

  • 在14篇文章中引用[sw02743]
  • 符合标准声明的 语义学对于“纯”子语言,而对于完整的。。。
  • 混乱

  • 参考7篇文章[sw09052]
  • 语法,操作语义学以及声明的 语义学(基于一个格子。。。
  • 因式

  • 参考12篇文章[sw08947]
  • 学习。通过结合传统,声明的,统计语义学具有强制性定义的因子图。。。操作,我们允许用户混合声明的和程序领域的知识,也获得。。。
  • 希夫

  • 引用15篇文章[sw20513]
  • SCIFF语言配备了一个语义学基于溯因逻辑程序设计;SCIF的操作。。。我们呈现这篇文章声明的可操作性语义学在SCIFF语言中。。。
  • Isar

  • 在140篇文章中引用[sw04599]
  • 证明文件旨在弥补语义的内部证据概念之间的差距。。。满足相当矛盾的要求,两者兼而有之'声明的'和立即'可执行',凭借Isar/VM。。。
  • 影响

  • 引用5篇文章[sw02891]
  • Impact:一个具有声明的 语义学. IMPACT项目(http://www.cs.umd.edu/projects/IMPACT)旨在。。。
  • 社会观察家

  • 在10篇文章中引用【sw20845】
  • 类型应该有一个正式的,声明的,可验证且有意义语义学. 我们提出一个理论。。。
  • 光泽

  • 在38篇文章中引用[sw08938]
  • 光泽:a声明的实时编程语言。LUSTRE是一种同步数据流语言。。。语言的呈现,我们描述它语义学通过结构推理规则。而且。。。
  • xpath日志

  • 参考7篇文章[sw15782]
  • XPath的扩展。XPathLog提供了一个,声明的查询和操作XML的语言。。。数据集成。在我们的人物塑造中语义学定义为wrt。一个边缘标记图。。。XPath语法和语义学也用于声明的说明数据库应该如何。。。
  • GCLC公司

  • 引用了29篇文章[sw00326]
  • 质量。GCLC使用GC语言声明的图形的表示和存储数学。。。定理证明器,它直接将可视和语义的具有几何性质和机器性质。。。
  • 竖琴

  • 引用15篇文章[sw26323]
  • 声明的启发式规则可以很容易地让外部信息,例如。语义的世界知识。。。
  • 克莱姆

  • 参考第71条[sw09424]
  • 定位进程之间的协议。正式运作语义学有助于讨论设计。。。检查是否符合宣布意图和他们是否有必要的权利。。。
  • 新鲜的

  • 引用49篇文章[sw08992]
  • 涉及静态范围绑定操作的数据。用户-宣布涉及绑定的FreshML数据类型是具体的。。。这是通过一个新的指称建立起来的语义学. 没有静态新鲜度推断的FreshML。。。
  • 区域设置

  • 引用了35篇文章[sw12448]
  • 定理证明者伊莎贝尔。在本文中,他们语义学是根据当地的理论来定义的。。。区域设置层次结构可以更改,如果宣布区域之间的逻辑关系不能充分反映。。。
  • VIFID/三FID

  • 引用2篇文章[sw14758]
  • 约束逻辑编程(CLP),其声明的可操作性语义学在某些关键方面与。。。
  • CDOL公司

  • 引用5篇文章[sw02639]
  • 主动规则子语言基于此声明的框架。方法和事务的使用。。。同时讨论了语义学活动规则处理的。。。
  • Veriflog公司

  • 引用4篇文章[sw08941]
  • 语义的基于XCentric逻辑编程语言的验证。声明的这个模型。。。半结构化数据为语义的错误检测。结果很简单。。。
  • 2APL公司

  • 引用16条[sw06573]
  • 引入和集成命令式编程声明的信念和目标与事件和计划。。。目标和事件。形式语法和语义学给出了程序设计语言的。。。