Building program optimizers with rewriting strategies

DOI10.1145/289423.289425MaRDI QIDQ5348884zbMATH OpenOpenAlexFDO

Authors Eelco Visser, Zine-El-Abidine Benaissa, Andrew Tolmach

Publication date 21 August 2017

Published in Proceedings of the third ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/289423.289425

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42)

Recommendations

• A survey of rewriting strategies in program transformation systems
• scientific article; zbMATH DE number 1722718
• scientific article; zbMATH DE number 512905
• Warm fusion in Stratego: A case study in generation of program transformation systems
• scientific article; zbMATH DE number 1693488

Cited in

(26)

• Typed generic traversal with term rewriting strategies
• Warm fusion in Stratego: A case study in generation of program transformation systems
• A higher-order strategy for eliminating common subexpressions
• A survey of strategies in rule-based program transformation systems
• ASF+SDF parsing tools applied to ELAN
• scientific article; zbMATH DE number 1693488 (Why is no real title available?)
• Maximally parallel contextual string rewriting
• Generic type-preserving traversal strategies
• A survey of rewriting strategies in program transformation systems
• Fusing logic and control with local transformations: an example optimization
• A logic for rewriting strategies
• Scoped dynamic rewrite rules
• Term rewriting with type-safe traversal functions
• Strategies for source-to-source constant propagation
• Regular strategies as proof tactics for \textsf{CIRC}
• scientific article; zbMATH DE number 512905 (Why is no real title available?)
• Semi-automatic grammar recovery
• scientific article; zbMATH DE number 2090076 (Why is no real title available?)
• scientific article; zbMATH DE number 2124969 (Why is no real title available?)
• Recognizing Strategies
• Strategy-based proof calculus for membrane systems
• Interleaving strategies
• Optimizing the JSM Program
• Static consistency checking of web applications with WebDSL
• Specifying rewrite strategies for interactive exercises
• Adaptable Traces for Program Explanations

This page was built for publication: Building program optimizers with rewriting strategies

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