摘要
针对简单函数式语言、简单过程式语言和简单面向对象式语言等多个程序语言范例,分别定义了它们的操作语义和指称语义,同时设计了一个"形式语义学"教学辅助系统,用于演示不同语言范例程序的基于形式语义定义的可视化解释,该系统使学生可以通过形象生动的动态演示和同步解释,充分理解和掌握程序设计语言的形式语义及其实现.
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.
出处
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2009年第3期530-536,共7页
Journal of Jilin University:Science Edition
基金
国家自然科学基金青年基金(批准号:60603031)
关键词
形式语义学
可视化教学辅助系统
增量式设计
实践驱动教学
formal semantics
visual instruction assistant system
incremental design
practice driven instruction
