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