Automatic Grading of Programming Assignments: An Approach Based on Formal Semantics
Automatic Grading of Programming Assignments: An Approach Based on Formal Semantics
复制标题
编程作业自动评分：一种基于形式语义的方法
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Wu, Dinghao
中科院分区：
文献类型：
--
作者：
Liu, Xiao;Wang, Shuai;Wang, Pei;Wu, Dinghao
登录
查看更多内容
信息技术教育杂志 通过自动程序风格评估支持学生 C 编程课程 支持学生 C 编程课程
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
Kirsti Ala;Toni Uimonen Solita;Finland Tampere;Matti Hannu;Järvinen
通讯作者：
Järvinen
函数式程序风格自动分析
DOI：
10.1109/aswec.1996.534121
发表时间：
1996
期刊：
Proceedings of 1996 Australian Software Engineering Conference
影响因子：
--
作者：
G. Michaelson
通讯作者：
G. Michaelson
DOI：
10.1145/360204.360220
发表时间：
2001
期刊：
--
影响因子：
--
作者：
C. Flanagan;J. Saxe
通讯作者：
C. Flanagan;J. Saxe
DOI：
10.1109/icsm.1994.336770
发表时间：
1994-09
期刊：
Proceedings 1994 International Conference on Software Maintenance
影响因子：
--
作者：
D. Jackson;David A. Ladd
通讯作者：
D. Jackson;David A. Ladd
DOI：
10.1145/2899415.2899440
发表时间：
2016-07
期刊：
Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education
影响因子：
--
作者：
Jianxiong Gao;Bei Pang;S. Lumetta
通讯作者：
Jianxiong Gao;Bei Pang;S. Lumetta