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

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

金英¹, 郑晓娟², 张晶¹, 孙旭东¹

1. 吉林大学计算机科学与技术学院, 长春 130012； 2. 东北师范大学软件学院, 长春 130117

收稿日期:2008-08-05 修回日期:1900-01-01 出版日期:2009-05-26 发布日期:2009-06-23
通讯作者: 郑晓娟

Multi-paradigm Based Instruction Assistant System forFormal Semantics Course

JIN Ying¹, ZHENG Xiaojuan², ZHANG Jing¹, SUN Xudong¹

1. College of Computer Science and Technology, Jilin University, Changchun 130012, China;2. School of Software, Northeast Normal University, Changchun 130117, China

Received:2008-08-05 Revised:1900-01-01 Online:2009-05-26 Published:2009-06-23
Contact: ZHENG Xiaojuan

摘要/Abstract

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

关键词: 形式语义学, 可视化教学辅助系统, 增量式设计, 实践驱动教学

Abstract: Operational and denotational semantics are defined in connection with different paradigms of programming languages, including a simple functional programming language, a simple procedural programming language and a simple object oriented language. A visual teaching assistant system was designed to demonstrate the visual procedure of running programs of different programming languages. With the assistance of the system students can easily understand and grasp the formal semantics of programming languages and their implementation.

Key words: formal semantics, visual instruction assistant system, incremental design, practice driven instruction

中图分类号:

TP319

金英, 郑晓娟, 张晶, 孙旭东. 基于多语言范例的“形式语义学”教学辅助系统[J]. J4, 2009, 47(03): 530-536.

JIN Ying, ZHENG Xiaojuan, ZHANG Jing, SUN Xudong. Multi-paradigm Based Instruction Assistant System forFormal Semantics Course[J]. J4, 2009, 47(03): 530-536.

[1]	汤战勇, 郝杰, 郭军, 刘宝英. 基于变步长随机行走算法的IC电源网络动态分析[J]. 吉林大学学报(理学版), 2020, 58(4): 868-876.
[2]	史肖冰, 郭德贵, 曹捷. 基于自适应Hata模型的无线电发射源定位方法[J]. 吉林大学学报(理学版), 2020, 58(1): 109-112.
[3]	刘妍秀, 孙一鸣, 杨华民. 基于归一化算法的噪音鲁棒性连续语音识别[J]. 吉林大学学报(理学版), 2015, 53(03): 519-524.
[4]	马达, 周春光, 王喆, 王文博, 徐昊, Fabio Casati, Florian Daniel, Azzurra Ragone, Alex Vagin??20彭涛. 基于网络的个人健康管理实时监控健康分析平台[J]. J4, 2010, 48(03): 461-463.
[5]	任键, 李占山, 王崧, 寇飞宏, 孙吉贵. 产品构模器的设计与实现[J]. J4, 2005, 43(06): 773-780.