Narrowing Data-Structures with Pointers

DOI10.1007/11841883_8zbMath1156.68426OpenAlexW1519224163MaRDI QIDQ3541950

Rachid Echahed, Nicolas Peltier

Publication date: 27 November 2008

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

Full work available at URL: https://doi.org/10.1007/11841883_8

Mathematics Subject Classification ID

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

Related Items

Term-Graph Rewriting Via Explicit Paths, A Needed Rewriting Strategy for Data-Structures with Pointers, Inductively Sequential Term-Graph Rewrite Systems, Functional Logic Programming in Maude, Term-graph Rewriting in Tom Using Relative Positions