| 基于多语言范例的“形式语义学”教学辅助系统 |
| |
| 引用本文： | 金英,郑晓娟,张晶,孙旭东.基于多语言范例的“形式语义学”教学辅助系统[J].吉林大学学报(理学版),2009,47(3):530-536. |
| |
| 作者姓名： | 金英 郑晓娟 张晶 孙旭东 |
| |
| 作者单位： | 1. 吉林大学 计算机科学与技术学院, 长春 130012； 2. 东北师范大学 软件学院, 长春 130117 |
| |
| 基金项目： | 国家自然科学基金杰出青年科学基金 |
| |
| 摘 要： | 针对简单函数式语言、 简单过程式语言和简单面向对
象式语言等多个程序语言范例, 分别定义了它们的操作语义和指称语义, 同时设计了一个“形式语义学”教学辅助系统, 用于演示不同语言范例程序的基于形式语义定义的可视化解释, 该系统使学生可以通过形象生动的动态演示和同步解释, 充分理解和掌握程序设计语言的形式语义及其实现.
|
| 关 键 词： | 形式语义学 可视化教学辅助系统 增量式设计 实践驱动教学 |
| 收稿时间： | 2008-08-05 |
Multi-paradigm Based Instruction Assistant System for Formal Semantics Course |
| |
| JIN Ying,ZHENG Xiao-juan,ZHANG Jing,SUN Xu-dong.Multi-paradigm Based Instruction Assistant System for Formal Semantics Course[J].Journal of Jilin University: Sci Ed,2009,47(3):530-536. |
| |
| Authors: | JIN Ying ZHENG Xiao-juan ZHANG Jing SUN Xu-dong |
| |
| Institution: | 1. College of Computer Science and Technology, Jilin University, Changchun 130012, China;2. School of Software, Northeast Normal University, Changchun 130117, China |
| |
| 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 the... |
| |
| Keywords: | formal semantics visual instruction assistant system incremental design practice driven instruction |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《吉林大学学报(理学版)》浏览原始摘要信息 |
| 点击此处可从《吉林大学学报(理学版)》下载免费的PDF全文 |
