基于多语言范例的"形式语义学"教学辅助系统

• 作者: 孙旭东 张晶 郑晓娟 金英
• 来源期刊: 吉林大学学报（理学版）
• 学科: 工学
• 关键词: 形式语义学 可视化教学辅助系统 增量式设计 实践驱动教学
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 计算机科学
• 页码范围: 530-536
• 页数: 7页
• 分类号: TP319
• 字数: 5262字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-5489.2009.03.024

摘要

针对简单函数式语言、简单过程式语言和简单面向对象式语言等多个程序语言范例, 分别定义了它们的操作语义和指称语义, 同时设计了一个"形式语义学"教学辅助系统, 用于演示不同语言范例程序的基于形式语义定义的可视化解释, 该系统使学生可以通过形象生动的动态演示和同步解释, 充分理解和掌握程序设计语言的形式语义及其实现.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张晶	吉林大学计算机科学与技术学院	162	516	10.0	15.0
2	金英	吉林大学计算机科学与技术学院	28	124	6.0	10.0
3	郑晓娟	东北师范大学软件学院	12	35	3.0	5.0
4	孙旭东	吉林大学计算机科学与技术学院	1	0	0.0	0.0