• KL-酮

  • 40篇参考文献[SW28 891]
  • 知识表示族形式主义那是从语义的网络和框架…
  • 动量2

  • 10篇参考文献[SW10025]
  • 实时重写正式 语义实时模型转换,并显示…
  • 伊莎贝尔/UTP

  • 10篇参考文献[SW21184]
  • 研究、形式化与统一正式 语义. 我们的贡献首先是深刻的。语义的模型
  • 爪哇JR

  • 14篇参考文献[SW8083]
  • 给它提供一个正式操作的语义基于可观察的行动的痕迹,代表…
  • K-Java

  • 9篇参考文献[SW1891]
  • 介绍K-Java,一个完整的可执行文件正式 语义Java 1.4。K-Java广泛应用于…
  • 莫隆

  • 9篇参考文献[SW06922]
  • 图变换标准及其应用正式 语义. MOFLON提供视觉的组合…
  • 韦尔夫姆

  • 6篇参考文献[SW1386]
  • Velvm提供机械化正式 语义LLVM的中间表示,它的类型系统…交互式定理证明器它包括多个操作语义并证明它们之间的关系以促进…从COQ中提取解释器正式 语义可以执行LLVM测试程序…实现。为了证明Vellvm的实用性,我们形式化并验证先前提出的变换…
  • 迪斯科兽人

  • 5篇参考文献[SW10063]
  • 分布式和定时计算。几个正式 语义已经提出了兽人,包括改写…逻辑语义作者开发的。兽人在爪哇也有一个完全成熟的实施方案。兽人之间相当大的差距正式 语义以及它的实现,即:(i)程序…只使用ORC实现正式 语义和(ii)它们不容易。正式地
  • StudiaQL

  • 8篇参考文献[SW2471]
  • 扩展传统SQL语法的方式语义并演示以下内容。(1)StudiasQL保留…声称。我们清楚地指出了正式 语义Studiasql解释了所有这些…
  • Z

  • 272篇参考文献[SW1091]
  • 微小的不一致性、不一致性和错误(两者都在语义拼写)。这给人的印象是…这是为了促进一门学科的发展。正式规范与推理?另一个失望是…
  • KJS

  • 5篇参考文献[SW1892]
  • 完成正式 语义关于JavaScript的。本文介绍了KJS,最完整和最全面的测试。正式 语义迄今为止的JavaScript。是可执行的,KJS已经测试了针对ECMAScript…其他语义. KJS是象征性的可执行的,因此它可以用于正式分析
  • ABS

  • 26篇参考文献[SW21211]
  • ABS问题形式化类型系统语义核心ABS,微积分…
  • Turtle P

  • 5篇参考文献[SW10561 ]
  • 实时UML概要文件正式 语义用RT-Lotos表示。进一步…得益于评估和/或验证正式 语义在RT-Lotos中给出。应用…
  • 达特尔

  • 28篇参考文献[ SW0877]
  • 模型给出前正式句法的理解语义语言的。一些…
  • 2APL

  • 16篇参考文献[ SW065 73]
  • 信念、目标和事件。这个正式语法和语义给出了程序设计语言。
  • XPATROLG

  • 7篇参考文献[SW15782]
  • 数据集成。在我们的人物塑造中,正式 语义定义为WRT。边标记图…
  • 辛帕

  • 7篇参考文献[SW0863]
  • 例子。最后,我们定义了一个操作。语义 形式化这个编程模型的主要方面…
  • AuM3

  • 32篇参考文献[SW10092]
  • 形式主义以及其他任务,例如代码生成和操作语义规格
  • 姆巴斯

  • 17篇参考文献[SW0824]
  • 形式化的数学在哪里正式表示允许语义基于分布式数学事实的检索。提出一种发展代表性的方法形式主义数学知识库。我们建议具体…
  • 思辩

  • 5篇参考文献[ SW02008 ]
  • 规格-A正式针对策略规范语言,本文提出了一种基于自动机的策略。清洁语义语言表达能力;正式 语义因为语言被提供作为安全…应用生命周期,实现可能形式化各种政策执行技术…