问Elle

问EEL:一个适合Haskell的自动编程导师,提供自动反馈。ALE是一个学习高阶强类型函数编程语言Haskell的导师。它通过验证不完整程序的正确性和提供提示来支持Haskell程序的逐步开发。通过为练习提供一个任务描述、一个或多个模型解决方案以及解决方案应该满足的属性来向ELE添加编程练习。可以用反馈消息注释属性和模型解决方案,并且可以调整学生解决方案中允许的灵活性量。我们的工作的主要贡献是导师的设计,它将(1)各种形式的不同解决方案的增量开发结合到(2)自动反馈和(3)教师指定的编程练习、解决方案和属性的编程练习中。主要的功能是通过基于策略的模型跟踪和基于属性的测试来获得的。我们已经测试了我们的方法的可行性,在几个实验中,我们分析中间和最终的学生解决方案的编程练习,等等。

ZBMaX中的参考文献(2篇)1标准条款

显示结果1至2的2。
按年份排序(引文

  1. Gerdes,亚历克斯;海伦,巴斯蒂安;杰瑞,Johan;van Binsbergen,L. Thomas:问EEL:一个适合Haskell的自动编程导师,提供自动反馈(2017)马修德
  2. Jeice,Johan;Gerdes,亚历克斯;HeeleN,BasTiaa: \TraskScript Ele:Haskell导师:演示(2012)伊波尔特