.png){kind=icon}
返回
Using GHC CORE to Normalise Student Programs
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-031-99751-8_22.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Ask-Elle 是一个用于解决小型 Haskell 编程练习的在线导师。它通过首先确定学生的提交是否与教师提供的模型解决方案之一匹配来提供反馈。然而，Haskell 丰富的语法允许语义上等价但语法上不同的程序，使得直接比较具有挑战性。为了解决这个问题，Ask-Elle 应用规范化程序转换来减少此类语法差异。尽管如此，一些正确的程序仍然无法被识别。我们开发了一种新的反馈生成方法，利用 GHC 的内部转换和警告消息。这种方法在提高正确程序识别率的同时，速度也快得多。此外，我们还分享了使用 GHC 作为库的经验。
Keyword:
Programming tutor
Functional programming
Haskell
GHC
Program normalisation
期刊
T
IF:
0
论文数:
20
被引数:
0
机构
引用论文
.png){kind=icon}
分享收藏
A multi-national, multi-institutional study of assessment of programming skills of first-year CS students对一年级CS学生编程技能评估的多国，多机构研究
OAAI
OAAI分享收藏分享收藏
查看更多内容