基于函数式语言和单体的编译教学实验平台研究与实践  

作　　者：宋丽华 张兴元 王海涛 

机构地区：[1]陆军工程大学指挥控制工程学院,江苏南京210007 [2]南京审计大学金审学院信息科学与工程学院,江苏南京210023

出　　处：《计算机教育》2020年第8期167-170,共4页Computer Education

摘　　要：为提升编译原理课程在培养学生复杂工程问题求解能力方面的支撑作用,提出一种基于函数式语言和单体编程技术的新型编译实验平台,以ML语言为例简要介绍函数式语言和单体编程技术,通过实例详细分析函数式语言和单体用于编译实验的优势及对课程教学改革的要求,最后介绍编译原理课程改革具体实践并说明实践效果。

关 键 词：编译原理 编译实验平台 函数式语言 ML语言 单体 

分 类 号：G642[文化科学—高等教育学]