Modeling Pointer Redirection as Cyclic Term-graph Rewriting

Dominique Duval, Rachid Echahed, Frédéric Prost. Modeling Pointer Redirection as Cyclic Term-graph Rewriting. Electronic Notes in Theoretical Computer Science, 176(1):65-84, 2007. [doi]

Abstract

Abstract is missing.