• ITP

  • 31篇参考文献[ SW09808]
  • 等式的版本逻辑特别适合于指定和验证语义的数据结构,例如…
  • 巴别塔

  • 71篇参考文献[SW03018]
  • 希望,标准,ML,或米兰达)逻辑编程(如Prolog中的)在一个简单的…惰性约简的基础语义既体现重写和SLD分辨率和支持…
  • 西夫

  • 15篇参考文献[SW20513]
  • 溯因推理中的可验证Agent交互逻辑编程:SIFF框架。SIFF是一个框架思想…语言装备有语义基于溯因逻辑程序设计;SIFF的操作组件…溯因的逻辑编程证明程序,也称为SIFF,用于动态环境中的期望推理…我们陈述声明和操作。语义斯科夫的语言和终止…
  • KL-酮

  • 40篇参考文献[SW28 891]
  • 描述逻辑学是一个知识表示形式的家族语义的网络多种描述中的可满足性逻辑学可以使用类表算法来决定…
  • 黄蜂

  • 24篇参考文献[SW09565 ]
  • 求解器析取逻辑稳定模型下的程序语义. WASP实现最初引进的技术…
  • 迪斯科兽人

  • 5篇参考文献[SW10063]
  • 对ORC提出建议,包括重写逻辑 语义作者开发的。兽人也…使用ORC的形式实现语义和(ii)它们不容易正式地…描述一种基于重写的实现技术逻辑Maude缩小了这个差距…
  • MCSMA-SLK

  • 15篇参考文献[SW2478]
  • 认知策略变体逻辑. 我们给出语法和语义规范语言…
  • 校对

  • 55篇参考文献[SW0639]
  • 基于高阶的实现逻辑(HOL),遵循LCF范式,在标准中…Z中的规范和证明语义的Z嵌入到…
  • 桌面

  • 17篇参考文献[SW11674]
  • 逻辑学,包括通常的时间、认知或动态逻辑学. 我们调查的模态语言涵盖…我们使用的决策程序基本上是语义的TabLoux方法,但稍加修改比较…这样的优点语义的模态证明方法逻辑学因为我们相信这个模型…
  • 镀锡型

  • 5篇参考文献[SW01773]
  • 形式系统(类型系统,操作)语义逻辑学等)。一系列相关的系统被打破了…
  • 高阶逻辑

  • 45篇参考文献[ SW01580]
  • 逻辑编程比传统谓词逻辑. HiLog有一个高阶语法,并允许…公式在谓词演算中出现。但其语义是一阶和一个声音…包括DCG文法、高阶和模块化逻辑编程和演绎数据库…
  • n3-逻辑

  • 9篇参考文献[SW03]
  • N3Logic:A符合逻辑的万维网框架语义的网络驱动向…语义的Web提供了丰富结构数据的统一表示。添加逻辑
  • XPATROLG

  • 7篇参考文献[SW15782]
  • XPath逻辑和XPATLog: A逻辑编程风格的XML数据操作语言。我们定义XPATOLL…数据集成。在我们的人物塑造中,正式语义定义为WRT。边标记图…数据模型理论语义XPath—逻辑作为XPATLogo的基础…逻辑-编程语言,而同样的答案集语义用于评估XPATOLL查询…
  • 美泰普尔

  • 26篇参考文献[SW04624]
  • 符合逻辑的多重框架逻辑学可以定义和关联,它是一个系统…语义的连接到编程语言,允许系统作为一个符合逻辑的
  • 证书证书

  • 6篇参考文献[SW0943]
  • 语言工具(观测等价,关系HORE)逻辑语义-保存程序转换,以帮助构建…
  • GHC

  • 43篇参考文献[SW23 765 ]
  • 现有审查逻辑程序设计语言逻辑编程一般,特别注意…被限制为语义给予唯一的附加句法结构,警卫…分为家族逻辑程序设计语言与其他形式主义有着密切的关系。
  • 蒙脱土

  • 16篇参考文献[SW07905]
  • A的实现语义MSOS与重写的映射逻辑(RWL)。模块化…几种不同的编程语言示例语义并发系统。本文报道…
  • 卡巴贝尔

  • 2篇参考文献[SW0720]
  • 重写语义对于软件体系结构描述语言,分布式和并发应用总是具有协调性。Cabbel-ADL中的合同改写逻辑 语义对于软件体系结构描述语言CBAEBL…包括对以前的修订语义和新增的功能覆盖…实现给定的Cababele重写逻辑 语义并允许执行和验证…