An Account of Implementing Applicative Term Rewriting
From MaRDI portal
Publication:2866805
DOI10.1016/j.entcs.2007.02.049zbMath1277.68109WikidataQ126244388 ScholiaQ126244388MaRDI QIDQ2866805
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.049
68Q42: Grammars and rewriting systems
Related Items
Uses Software
Cites Work
- Refined compilation of pattern-matching for functional languages
- Maude: specification and programming in rewriting logic
- Compositional verification of asynchronous concurrent systems using CADP
- Just-in-time
- A compiler for nondeterministic term rewriting systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item