• 西夫

  • 15篇参考文献[SW20513]
  • 装备有语义基于溯因逻辑程序设计操作的组件文章介绍陈述式和操作的 语义斯科夫的语言和终止…
  • 爪哇JR

  • 14篇参考文献[SW8083]
  • 提供正式的操作的 语义基于可观察的行动的痕迹,代表…
  • 霍普拉

  • 14篇参考文献[SW02430]
  • 哪一个过程是有能力的。它的操作的 语义互模拟、同余性质和表达能力…
  • 羟脯氨酸

  • 14篇参考文献[SW02643]
  • 底层Prolog系统。操作的 语义给出符合标准声明的语义
  • 迭戈

  • 13篇参考文献[SW02178]
  • 用封装的图形对象编程。他们操作的 语义定义遵循分布图的直线…
  • 虚拟样机

  • 11篇参考文献[SW07364]
  • 图形变换)的结构和操作的 语义可以定义数学模型…
  • 海角

  • 11篇参考文献[SW1874]
  • 编程语言的语法操作的 语义和验证语义. 海角包括几个…
  • 模糊的

  • 7篇参考文献[SW09052]
  • RFuzzy:语法,语义一个简单而有表现力的模糊工具在Prolog上的实现细节…描述形式语法,操作的 语义陈述句语义模糊的(基于……)最小不动点语义和一个操作的 语义介绍了它们的等价性。
  • CRC 3

  • 9篇参考文献[SW09782]
  • 初等代数,数学语义及其操作的 语义改写。检查此属性以表达…
  • 莱拉

  • 10篇参考文献[SW02266]
  • 多个代理。语法和操作的 语义莱拉语和…
  • 变身

  • 9篇参考文献[SW10085 ]
  • 具有良好定义的嵌套变换单元操作的 语义. 所谓的合并单位是一种特殊的…提供变换的变换单元操作人员模式替换。对于所有这些概念…
  • 火山

  • 21篇参考文献[SW30956]
  • 进入查询处理算子使用支持函数。这个语义支持功能…数据类型,包括复杂对象和任意运营可以实现。因此,火山是可扩展的…
  • PTSC

  • 5篇参考文献[SW13692]
  • 并行合成。我们正式化了操作的 语义对于这样的集成。基于这个模型…也实现了一个原型操作的 语义动画执行概率程序…
  • 反映

  • 7篇参考文献[SW21717]
  • 应用领域。它也给出了一个操作的 语义基于一个新的上下文使用。
  • LPTP

  • 7篇参考文献[SW01822]
  • 适当的公理化操作的 语义具有内置谓词的纯Prolog…
  • 辛帕

  • 7篇参考文献[SW0863]
  • 编程实例。最后,我们定义了一个操作的 语义形式化编程的主要方面…
  • 韦尔夫姆

  • 6篇参考文献[SW1386]
  • 变换操作关于它。Velvm提供了机械化形式语义LLVM的中间体…交互式定理证明器它包括多个操作的 语义并证明它们之间的关系以促进…
  • MPC

  • 14篇参考文献[SW07251]
  • 复数,提供明确定义语义对于每一个运营. 同时,速度…
  • 交易者

  • 6篇参考文献[SW20929 ]
  • 分布式容错技术研究语义的观点我们把我们的方法正式化。全局一致的检查点。我们提供了一个操作的 语义对于Ta-演算,形式化…
  • 混响

  • 6篇参考文献[SW22612]
  • 极简主义;它强调所有的显著性,语义上ML模块系统的有趣特性…该系统的检查算法。这个操作的 语义MixML的定义是由一个阐述…