A Needed Rewriting Strategy for Data-Structures with Pointers
From MaRDI portal
Publication:3522009
DOI10.1007/978-3-540-70590-1_5zbMATH Open1145.68443OpenAlexW2139877368MaRDI QIDQ3522009FDOQ3522009
Authors: Rachid Echahed, Nicolas Peltier
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
Recommendations
Cites Work
- Title not available (Why is that?)
- Sequentiality in orthogonal term rewriting systems
- Strongly sequential and inductively sequential term rewriting systems
- An efficient machine-independent procedure for garbage collection in various list structures
- Narrowing Data-Structures with Pointers
- Title not available (Why is that?)
- Title not available (Why is that?)
- Non Strict Confluent Rewrite Systems for Data-Structures with Pointers
Cited In (3)
This page was built for publication: A Needed Rewriting Strategy for Data-Structures with Pointers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522009)