Where exactly are the difficulties in reasoning logically about code? experimentation with an online system M Cook, M Fowler, JO Hallstrom, JE Hollingsworth, T Schwab, YS Sun, ... Proceedings of the 23rd Annual ACM Conference on Innovation and Technology …, 2018 | 12 | 2018 |
Impact of steps, instruction, and motivation on learning symbolic reasoning using an online tool M Fowler, M Cook, K Plis, T Schwab, YS Sun, M Sitaraman, JO Hallstrom, ... Proceedings of the 50th ACM Technical Symposium on Computer Science …, 2019 | 8 | 2019 |
Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions M Fowler, ET Kraemer, YS Sun, M Sitaraman, JO Hallstrom, ... Conference on Software Engineering Education (ECSEE’20), 2020 | 6 | 2020 |
Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum M FOWLER, J HALLSTROM, J HOLLINGSWORTH, E KRAEMER, ... Informatics in Education 20 (4), 533-566, 2021 | 3 | 2021 |
A Human-Centric System for Symbolic Reasoning About Code M Fowler | 3 | 2021 |
Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties M Fowler, E Kraemer, M Sitaraman, JE Hollingsworth Proceedings of the 26th ACM Conference on Innovation and Technology in …, 2021 | 2 | 2021 |
Pinpointing Student Obstacles to Logical Reasoning about Code M Cook, M Fowler, JO Hallstrom, JE Hollingsworth, MP Pfister, T Schwab, ... Technical Report RSRG-17-01, School of Computing, Clemson University, 2017 | 2 | 2017 |
Automated Analysis of Student Verbalizations in Online Learning Environments NA Almazova, JO Hallstrom, M Fowler, JE Hollingsworth, M Sitaraman, ... Proceedings of the 52nd ACM Technical Symposium on Computer Science …, 2021 | 1 | 2021 |
Learning Loop Invariants M Fowler Proceedings of the 51st ACM Technical Symposium on Computer Science …, 2020 | | 2020 |
BeginToReason: An Introduction to Symbolic Reasoning M Fowler, T Schwab Proceedings of the 49th ACM Technical Symposium on Computer Science …, 2018 | | 2018 |