Evaluating the Tracing of Recursion in the Substitution Notional Machine
Evaluating the Tracing of Recursion in the Substitution Notional Machine
复制标题
评估替代概念机中的递归追踪
DOI：
10.1145/3159450.3159479
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Krishnamurthi, Shriram
中科院分区：
文献类型：
--
作者：
Tunnell Wilson, Preston;Fisler, Kathi;Krishnamurthi, Shriram
我们评估基于代数替换的递归概念机。为此，我们将递归分解为一系列函数调用模式、参数名称重用和数据结构复杂性。在每个阶段，我们都会测试学生使用替换来跟踪程序的能力。我们从多个维度评估他们轨迹的正确性，发现学生普遍表现良好，并且观察捷径并识别误解。为了进行比较，我们还让学生使用传统的命令式概念机器来追踪两个问题。尽管替换模型难以用于复合数据，但学生使用它仍然比使用传统的概念机器表现得更好。
We evaluate a notional machine for recursion based on algebraic substitution. To do this, we decompose recursion into a progression of function call patterns, parameter name reuse, and data structure complexity. At each stage, we test students' ability to trace programs using substitution. We evaluate the correctness of their traces along multiple dimensions, finding that students generally do well, and also observe shortcuts and identify misconceptions. For comparison, we also have students trace two problems using a traditional, imperative notional machine. Even though the substitution model is unwieldy to use with compound data, students still perform better with it than with the traditional notional machine.
登录
查看更多内容
计算机教育文献中的递归调查与它有何关系？
DOI：
10.1145/800045.801618
发表时间：
2014
期刊：
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
影响因子：
--
作者：
Amber Settle
通讯作者：
Amber Settle
学习编程的一些难点
DOI：
--
发表时间：
1986
期刊：
影响因子：
--
作者：
John Benedict du Boulay
通讯作者：
John Benedict du Boulay
DOI：
--
发表时间：
2001
期刊：
影响因子：
--
作者：
M. Felleisen;R. Findler;M. Flatt;S. Krishnamurthi
通讯作者：
S. Krishnamurthi
代数步进器建模
影响因子：
4.8
作者：
John Clements;M. Flatt;M. Felleisen
通讯作者：
M. Felleisen
使用cargo-bot提供递归的情境化学习
DOI：
10.1145/2493394.2493411
发表时间：
2013
期刊：
Proceedings of the ninth annual international ACM conference on International computing education research
影响因子：
--
作者：
Joe Tessler;Bradley Beth;Calvin Lin
通讯作者：
Calvin Lin