A Needed Rewriting Strategy for Data-Structures with Pointers
From MaRDI portal
Publication:3522009
DOI10.1007/978-3-540-70590-1_5zbMath1145.68443OpenAlexW2139877368MaRDI QIDQ3522009
Nicolas Peltier, Rachid Echahed
Publication date: 28 August 2008
Published in: Rewriting Techniques and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-70590-1_5
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Strongly sequential and inductively sequential term rewriting systems
- Sequentiality in orthogonal term rewriting systems
- Narrowing Data-Structures with Pointers
- Non Strict Confluent Rewrite Systems for Data-Structures with Pointers
- An efficient machine-independent procedure for garbage collection in various list structures