Modeling pointer redirection as cyclic term-graph rewriting

DOI10.1016/J.ENTCS.2006.10.027MaRDI QIDQ2867899zbMATH OpenOpenAlexFDO

Authors Dominique Duval, Rachid Echahed, Frédéric Prost

Publication date 20 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.2006.10.027

zbMATH Keywords

category theorygraph rewritingdouble pushoutpointer redirection

Mathematics Subject Classification ID

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

Recommendations

• A Heterogeneous Pushout Approach to Term-Graph Transformation
• Non Strict Confluent Rewrite Systems for Data-Structures with Pointers
• A Needed Rewriting Strategy for Data-Structures with Pointers
• Narrowing Data-Structures with Pointers
• scientific article; zbMATH DE number 177452

Cites work

• scientific article; zbMATH DE number 1701353 (Why is no real title available?)
• scientific article; zbMATH DE number 4160147 (Why is no real title available?)
• scientific article; zbMATH DE number 49833 (Why is no real title available?)
• scientific article; zbMATH DE number 1497812 (Why is no real title available?)
• scientific article; zbMATH DE number 789389 (Why is no real title available?)
• scientific article; zbMATH DE number 919844 (Why is no real title available?)
• scientific article; zbMATH DE number 1420819 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• A needed narrowing strategy
• A rewriting calculus for cyclic higher-order term graphs
• Addressed term rewriting systems: syntax, semantics, and pragmatics (extended abstract)
• Adjunction for Garbage Collection with Application to Graph Rewriting
• Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
• Double-pushout graph transformation revisited
• Graph Transformations
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
• Relational and Kleene-Algebraic Methods in Computer Science
• Rewriting on cyclic structures: Equivalence between the operational and the categorical description
• Term graph rewriting and garbage collection using opfibrations

Cited in

(6)

• A Heterogeneous Pushout Approach to Term-Graph Transformation
• Narrowing Data-Structures with Pointers
• Non Strict Confluent Rewrite Systems for Data-Structures with Pointers
• A Needed Rewriting Strategy for Data-Structures with Pointers
• Inductively Sequential Term-Graph Rewrite Systems
• On term-graph rewrite strategies

Describes a project that uses

Uses Software

• PROGRES
• DACTL

This page was built for publication: Modeling pointer redirection as cyclic term-graph rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2867899)