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

Multi-paradigm Based Instruction Assistant System for Formal Semantics Course

作　　者：金英[1] 郑晓娟[2] 张晶[1] 孙旭东[1] 

机构地区：[1]吉林大学计算机科学与技术学院,吉林长春130012 [2]东北师范大学软件学院,吉林长春130117

出　　处：《吉林大学学报（理学版）》2009年第3期530-536,共7页Journal of Jilin University:Science Edition

基　　金：国家自然科学基金青年基金(批准号:60603031)

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

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

分 类 号：TP319[自动化与计算机技术—计算机软件与理论]