The computer modelling of mathematical reasoning
The computer modelling of mathematical reasoning
The automated tutoring of introductory computer programming
Communications of the ACM
ML for the working programmer (2nd ed.)
ML for the working programmer (2nd ed.)
Building domain-specific embedded languages
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Building program optimizers with rewriting strategies
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Mind Bugs: The Origins of Procedural Misconceptions
Mind Bugs: The Origins of Procedural Misconceptions
Scrap your boilerplate: a practical design pattern for generic programming
Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Deterministic, Error-Correcting Combinator Parsers
Advanced Functional Programming, Second International School-Tutorial Text
Strongly Typed Rewriting For Coupled Software Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
iTasks: executable specifications of interactive work flow systems for the web
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Interactivity of Exercises in ActiveMath
Proceedings of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation
Comparing approaches to generic programming in Haskell
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Interactive learning and mathematical calculus
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Handling errors in mathematical formulas
ITS'06 Proceedings of the 8th international conference on Intelligent Tutoring Systems
Supporting tutorial feedback to student help requests and errors in symbolic differentiation
ITS'06 Proceedings of the 8th international conference on Intelligent Tutoring Systems
A Review of Mathematical Knowledge Management
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Representation for Interactive Exercises
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Canonical Forms in Interactive Exercise Assistants
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Semantic Evaluation Services for Web-Based Exercises
ICWL '009 Proceedings of the 8th International Conference on Advances in Web Based Learning
A lightweight approach to datatype-generic rewriting
Journal of Functional Programming
Ten years of computer-based tutors for teaching logic 2000-2010: lessons learned
TICTTL'11 Proceedings of the Third international congress conference on Tools for teaching logic
A programming tutor for haskell
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
| Hi-index | 0.00 |
The feedback given by e-learning tools that support incrementally solving problems in mathematics, logic, physics, etc. is limited, or laborious to specify. In this paper we introduce a language for specifying strategies for solving exercises. This language makes it easier to automatically calculate feedback when users make erroneous steps in a calculation. Although we need the power of a full programming language to specify strategies, we carefully distinguish between context-free and non-context-free sublanguages of our strategy language. This separation is the key to automatically calculating all kinds of desirable feedback.