Non Strict Confluent Rewrite Systems for Data-Structures with Pointers

DOI10.1007/978-3-540-73449-9_12zbMath1203.68072OpenAlexW2170323525MaRDI QIDQ5432338

Nicolas Peltier, Rachid Echahed

Publication date: 2 January 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-73449-9_12

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Data structures (68P05)

Related Items (3)

A Needed Rewriting Strategy for Data-Structures with Pointers ⋮ Inductively Sequential Term-Graph Rewrite Systems ⋮ On Term-Graph Rewrite Strategies

This page was built for publication: Non Strict Confluent Rewrite Systems for Data-Structures with Pointers