10.3321/j.issn:1671-5489.2009.03.024
基于多语言范例的"形式语义学"教学辅助系统
针对简单函数式语言、简单过程式语言和简单面向对象式语言等多个程序语言范例, 分别定义了它们的操作语义和指称语义, 同时设计了一个"形式语义学"教学辅助系统, 用于演示不同语言范例程序的基于形式语义定义的可视化解释, 该系统使学生可以通过形象生动的动态演示和同步解释, 充分理解和掌握程序设计语言的形式语义及其实现.
形式语义学、可视化教学辅助系统、增量式设计、实践驱动教学
47
TP319(计算技术、计算机技术)
国家自然科学基金青年基金60603031
2009-06-19(万方平台首次上网日期,不代表论文的发表时间)
共7页
530-536