Just-in-time

DOI10.1016/S1571-0661(04)00267-1zbMath1268.68104OpenAlexW1516440063WikidataQ62047506 ScholiaQ62047506MaRDI QIDQ2841222

Jaco van de Pol

Publication date: 24 July 2013

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

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00267-1

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Rewriting Strategies and Strategic Rewrite Programs ⋮ A survey of strategies in rule-based program transformation systems ⋮ Unnamed Item ⋮ A Survey of Rewriting Strategies in Program Transformation Systems ⋮ Context-sensitive rewriting strategies ⋮ An Account of Implementing Applicative Term Rewriting

Uses Software

• ATERM
• OBJ3
• Maude

Cites Work

• Termination of Rewriting with Strategy Annotations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Just-in-time