Recognizing Strategies

DOI10.1016/J.ENTCS.2009.03.037MaRDI QIDQ5170163zbMATH OpenOpenAlexFDO

Authors Bastiaan Heeren, Johan Jeuring

Publication date 22 July 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.entcs.2009.03.037

zbMATH Keywords

combinator languagesexercise assistantsgrammarsparsingstrategies

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45) Computer-assisted instruction, e-learning (aspects of mathematics education) (97U50)

Recommendations

• Reasoning about strategies
• Reasoning about strategies
• Understanding strategy selection
• Strategies as profunctors
• On the inference of strategies
• Strategies as concurrent processes
• Strategies for seeing

Cites work

• Building program optimizers with rewriting strategies
• Higher-order functions for parsing
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• scientific article; zbMATH DE number 1961549 (Why is no real title available?)
• REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
• Specifying Strategies for Exercises
• Strongly typed rewriting for coupled software transformation
• The Zipper

Cited in

(6)

• Strategies for seeing
• scientific article; zbMATH DE number 139766 (Why is no real title available?)
• scientific article; zbMATH DE number 2009900 (Why is no real title available?)
• Interleaving strategies
• Specifying Strategies for Exercises
• Specifying rewrite strategies for interactive exercises

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Recognizing Strategies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5170163)