您的位置： 专家智库 > >

王岩冰

作品数：1 被引量：0H指数：0
供职机构：山东师范大学信息管理学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇形式语义
  • 1篇语义方法
  • 1篇指称
  • 1篇过程式
  • 1篇过程式语言

机构

  • 1篇山东师范大学

作者

  • 1篇王岩冰
  • 1篇华凡

传媒

  • 1篇山东师范大学...

年份

  • 1篇1999
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于时迹的指称语义方法
1999年
采用基于时迹的双层指称语义框架讨论过程式语言的形式语义。
华凡王岩冰
关键词：过程式语言形式语义
全选 清除 导出
共1页<1>
聚类工具0