The following pages link to DACTL (Q15409):
Displaying 26 items.
- On graph rewriting, reduction, and evaluation in the presence of cycles (Q526460) (← links)
- Properties of a first-order functional language with sharing (Q673126) (← links)
- An operational semantics for paragon: A design notation for parallel architectures (Q756433) (← links)
- On ``On graph rewritings'' (Q1098284) (← links)
- Term graph rewriting and garbage collection using opfibrations (Q1331928) (← links)
- Transitive term graph rewriting (Q1350096) (← links)
- Generating irregular partitionable data structures (Q1575237) (← links)
- Graph transformation units with interleaving semantics (Q1578398) (← links)
- Hierarchical graph transformation (Q1608318) (← links)
- Graph transformation for specification and programming (Q1806128) (← links)
- Relating graph and term rewriting via Böhm models (Q1924551) (← links)
- Strongly reducing variants of the Krivine abstract machine (Q2464720) (← links)
- (Q2769432) (← links)
- Modeling pointer redirection as cyclic term-graph rewriting (Q2867899) (← links)
- On term-graph rewrite strategies (Q2873679) (← links)
- Three Syntactic Theories for Combinatory Graph Reduction (Q3003482) (← links)
- Directed Graph Pattern Matching and Topological Embedding (Q3128193) (← links)
- (Q3789044) (← links)
- (Q4027629) (← links)
- (Q4037323) (← links)
- (Q4038666) (← links)
- (Q4227010) (← links)
- (Q4520508) (← links)
- On the interleaving semantics of transformation units — A step into GRACE (Q4645269) (← links)
- (Q4942037) (← links)
- Compiling Collapsing Rules in Certain Constructor Systems (Q5743585) (← links)
