A rewriting machine and optimization of strategies of term rewriting

DOI10.1023/A:1021819523233zbMath1031.68068OpenAlexW1537623425MaRDI QIDQ1407059

D. Massart

Publication date: 9 September 2003

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1021819523233

zbMATH Keywords

algebraic specificationterm rewritingalgebraic programmingoptimization of programsrewriting machine

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Uses Software

• Unnamed Item
• APS

This page was built for publication: A rewriting machine and optimization of strategies of term rewriting