DACTL
From MaRDI portal
Software:15409
No author found.
Related Items (26)
Term graph rewriting and garbage collection using opfibrations ⋮ Unnamed Item ⋮ Transitive term graph rewriting ⋮ On ``On graph rewritings ⋮ Relating graph and term rewriting via Böhm models ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Three Syntactic Theories for Combinatory Graph Reduction ⋮ Strongly reducing variants of the Krivine abstract machine ⋮ Properties of a first-order functional language with sharing ⋮ Unnamed Item ⋮ On the interleaving semantics of transformation units — A step into GRACE ⋮ On graph rewriting, reduction, and evaluation in the presence of cycles ⋮ Compiling Collapsing Rules in Certain Constructor Systems ⋮ Graph transformation for specification and programming ⋮ An operational semantics for paragon: A design notation for parallel architectures ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Generating irregular partitionable data structures ⋮ Graph transformation units with interleaving semantics ⋮ Directed Graph Pattern Matching and Topological Embedding ⋮ Unnamed Item ⋮ Modeling Pointer Redirection as Cyclic Term-graph Rewriting ⋮ On Term-Graph Rewrite Strategies ⋮ Hierarchical graph transformation
This page was built for software: DACTL
