A rewriting machine and optimization of strategies of term rewriting
From MaRDI portal
Publication:1407059
DOI10.1023/A:1021819523233zbMath1031.68068MaRDI QIDQ1407059
Publication date: 9 September 2003
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
algebraic specification; term rewriting; algebraic programming; optimization of programs; rewriting machine
68Q42: Grammars and rewriting systems
Uses Software