• 轻量级Java

  • 86篇参考文献[SW16204]
  • 字段、继承和动态类型转换语义紧跟Java的一个证明…最小语法,输入规则,以及操作的 语义轻量级Java使它成为一个方便的工具…
  • 克莱姆

  • 67篇参考文献[SW09424]
  • 位于进程之间的协议。正式的操作的 语义有助于讨论设计…类型系统用于确定运营这些过程想要在每一个…
  • 毫升

  • 491篇参考文献[SW01218]
  • 语义. 它的类型和图案匹配使它非常适合和常用于操作
  • 沟槽

  • 49篇参考文献[SW09480]
  • 模型转换基础操作的 语义. 这就为模型转换提供了正式的基础。
  • TVLA

  • 31篇参考文献[ SW0988]
  • 静态分析算法的构建操作的 语义那里操作的 语义使用…
  • 普罗梅拉

  • 30篇参考文献[SW07635]
  • 一个纲要操作的 语义普罗梅拉PROMELA是一种高级规范语言…论文包含一个大纲操作的-语义PROMELA的定义…
  • 勒普斯

  • 37篇参考文献[SW02579]
  • 对陈述句进行研究和界定。操作的 语义逻辑程序序列(或动态…)
  • 红宝石

  • 32篇参考文献[SW16267]
  • 具有高产等特点的语言操作人员动态类操作。他们让露比…脚本语言,但它们也使语义红宝石复杂而难以理解…这一挑战,我们提出了正式的操作的 语义这可以作为一个高层次的…
  • 轻巧的

  • 22篇参考文献[ SW0867 9]
  • 提出两种不同的描述操作的 语义轻而易举的首先,我们开发了一个结构…操作的 语义对于使用标记的过渡系统的小内核子集。这样…语义有助于推理操作的简单程序的行为。然后我们提供…并行过程评估函数表达式。实施语义包括汇编规则从简单…
  • AuM3

  • 32篇参考文献[SW10092]
  • 任务,例如代码生成和操作的 语义规格
  • 仁叶

  • 28篇参考文献[ SW08982]
  • 语言有一个干净的模型理论。语义在那里,解释的领域…关于连续性的行为。这个操作的 语义(基于SLD分辨率)被证明是正确的…
  • 克雷尔

  • 25篇参考文献[SW09421]
  • 本文介绍了克里奥语法,操作的 语义和类型系统。结果表明…
  • 蒙脱土

  • 16篇参考文献[SW07905]
  • 莫德莫斯工具。模块化结构操作的 语义(MSOS)是一个新的框架,允许结构…操作的 语义(SOS)规格是模块化的意义上不强加…
  • 贝德维尔

  • 19篇参考文献[SW09460]
  • 必须在行为操作的 语义. 二是高阶抽象语法是直接的…
  • 18篇参考文献[SW04136]
  • 带概率的安全命令语言操作的 语义基于(有限)马尔可夫决策过程。酒…
  • C光

  • 12篇参考文献[SW2093]
  • 语言C光及其结构操作的 语义. 本文介绍了语言C光…开关和GTO。C光包括C++算子新的和删除的管理动态存储器代替…标准C库函数。结构操作的 语义在ToptKin风格的C光…
  • 兆焦耳

  • 12篇参考文献[SW2432]
  • 定义语法、类型系统和操作的 语义MJ,并给出一个证明…MJ推理的有用性操作的特点,我们认为最近的建议温室效应…相似效应系统与仪器操作的 语义. 然后我们证明了正确性…
  • 莱托斯

  • 10篇参考文献[SW0498]
  • LoTOS——一种轻量级的执行工具操作的 语义提出了一种轻量级工具。发展操作的 语义. 使用LeTOS,AN操作的 语义必须表达…帮助检查规格是否为操作上保守的…