• 羽状爪哇

  • 引用86篇文章[sw16204]
  • 字段、继承和动态类型转换语义学紧跟Java。一个证据。。。最小语法、键入规则和操作的 语义学使它成为一个方便的工具。。。
  • 克莱姆

  • 引用69篇文章[sw09424]
  • 定位进程之间的协议。正式的操作的 语义学有助于讨论设计。。。类型系统用于确定操作每个进程都希望执行。。。
  • 毫升

  • 在502篇文章中引用[sw01218]
  • 语义学. 它的类型和模式匹配使它非常适合并常用于操作...
  • 沟槽

  • 引用了50篇文章[sw09480]
  • 模型转换的依据和操作的 语义学. 这需要一个正式的模型转换基础。。。
  • TVLA公司

  • 引用32篇文章[sw09878]
  • 从一个操作的 语义学,其中操作的 语义学使用。。。
  • 普罗梅拉

  • 引用了30篇文章[sw07635]
  • 一个操作的 语义学普罗梅拉。语言规范是高水平的。。。论文包含一个操作的-语义学PROMELA的定义。。。
  • 卢普斯

  • 引用了37篇文章[sw02579]
  • 研究并定义了陈述性和操作的 语义学逻辑程序序列(或动态。。。
  • 红宝石

  • 引用32篇文章[sw16267]
  • 具有高级特征的语言,如产量操作人员以及动态类操作。他们做红宝石。。。脚本语言,但它们也使语义学很难理解的。。。这个挑战,我们提出一个正式的操作的 语义学作为一个高层。。。
  • 轻率的

  • 参考22篇文章[sw08679]
  • 呈现两种不同的描述操作的 语义学轻松的。首先,我们开发一个结构。。。操作的 语义学对于一个小的核心子集Facile使用标记的过渡系统。这样。。。语义学对于推理是有用的操作的轻松程序的行为。然后我们提供。。。计算函数表达式的并发进程。实施语义学包括来自Facile的编译规则。。。
  • 原子3

  • 引用32篇文章[sw10092]
  • 任务,如代码生成和操作的 语义学规范。。。
  • 子叶

  • 引用28篇文章[sw08982]
  • 语言有一个干净的模型理论语义学解释的范围。。。关于连续性的行为。这个操作的 语义学(基于SLD分辨率)被证明是正确的。。。
  • 科卡斯尔

  • 在26篇文章中引用[sw13076]
  • 过程的语法及其结构操作的 语义学很适合代数世界。。。
  • 克里奥尔

  • 引用25篇文章[sw09421]
  • 本文介绍了Creol语法,操作的 语义学,然后键入system。结果表明。。。
  • 百万吨

  • 引用16条[sw07905]
  • Maude MSOS工具。模块化结构操作的 语义学(MSOS)是一个新的框架,它允许结构化。。。操作的 语义学没有模块化的规范。。。
  • 贝德维尔

  • 引用21篇文章[sw09460]
  • 必须在操作的 语义学. 二是高阶抽象语法是直接。。。
  • 引用18条[sw04136]
  • 概率保护命令语言操作的 语义学基于(有限)马尔可夫决策过程。酒。。。
  • C灯

  • 参考12篇文章[sw20973]
  • C-Light语言及其结构可操作的 语义学. 本文介绍了C-light语言。。。切换并转到。C灯包括C++操作员new和delete来管理动态内存。。。标准C库函数。结构操作的 语义学普洛金风格的C光。。。
  • 乔丹

  • 参考12篇文章[sw24342]
  • 定义语法,键入system和操作的 语义学MJ的名字,并证明。。。MJ的有用性操作的特点,我们考虑一个最近的建议温室。。。相似效应系统和仪器操作的 语义学. 然后我们证明了正确性。。。
  • 勒托斯

  • 参考第10条[sw04987]
  • LETOS——一个轻量级的执行工具可操作的 语义学提出了一种轻量级工具。。。发展操作的 语义学. 使用letos操作的 语义学必须表达。。。帮助检查规范是否操作上保守。。。