DACTL
From MaRDI portal
Software:15409
swMATH2871MaRDI QIDQ15409FDOQ15409
Author name not available (Why is that?)
Cited In (26)
- Title not available (Why is that?)
- Properties of a first-order functional language with sharing
- On ``On graph rewritings
- Term graph rewriting and garbage collection using opfibrations
- Title not available (Why is that?)
- Graph transformation for specification and programming
- On the interleaving semantics of transformation units -- a step into GRACE
- Title not available (Why is that?)
- Graph transformation units with interleaving semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An operational semantics for paragon: A design notation for parallel architectures
- Directed Graph Pattern Matching and Topological Embedding
- Hierarchical graph transformation
- Strongly reducing variants of the Krivine abstract machine
- On term-graph rewrite strategies
- Transitive term graph rewriting
- Three Syntactic Theories for Combinatory Graph Reduction
- Relating graph and term rewriting via Böhm models
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modeling pointer redirection as cyclic term-graph rewriting
- Generating irregular partitionable data structures
- Compiling collapsing rules in certain constructor systems
- On graph rewriting, reduction, and evaluation in the presence of cycles
This page was built for software: DACTL
