您的位置： 专家智库 > >

孙旭东

作品数：1 被引量：0H指数：0
供职机构：吉林大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇多语
  • 1篇多语言
  • 1篇形式语义学
  • 1篇义学
  • 1篇语义
  • 1篇语义学
  • 1篇教学辅助
  • 1篇教学辅助系统

机构

  • 1篇东北师范大学
  • 1篇吉林大学

作者

  • 1篇金英
  • 1篇孙旭东
  • 1篇郑晓娟
  • 1篇张晶

传媒

  • 1篇吉林大学学报...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于多语言范例的“形式语义学”教学辅助系统
2009年
针对简单函数式语言、简单过程式语言和简单面向对象式语言等多个程序语言范例,分别定义了它们的操作语义和指称语义,同时设计了一个"形式语义学"教学辅助系统,用于演示不同语言范例程序的基于形式语义定义的可视化解释,该系统使学生可以通过形象生动的动态演示和同步解释,充分理解和掌握程序设计语言的形式语义及其实现.
金英郑晓娟张晶孙旭东
关键词：形式语义学
全选 清除 导出
共1页<1>
聚类工具0