Specifying rewrite strategies for interactive exercises

DOI10.1007/s11786-010-0027-4zbMath1205.68184OpenAlexW2128065396MaRDI QIDQ626940

Johan Jeuring, Bastiaan Heeren, Alex Gerdes

Publication date: 19 February 2011

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-010-0027-4

zbMATH Keywords

feedbackcontext-free grammarinteractive exercisesrecognizerstrategy language

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Interleaving Strategies

Uses Software

• ML
• Haskell
• ActiveMath
• Aplusix-editor
• Aplusix
• iTasks
• Mathpert

Cites Work

• Higher-order functions for parsing
• Recognizing Strategies
• Building program optimizers with rewriting strategies
• Mathematical Knowledge Management
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Specifying rewrite strategies for interactive exercises