DACTL
From MaRDI portal
Cited in
(31)- On ``On graph rewritings
- Term graph rewriting and garbage collection using opfibrations
- Transitive term graph rewriting
- DIEGO
- PROGRES
- Generating irregular partitionable data structures
- Graph transformation units with interleaving semantics
- Hierarchical graph transformation
- Graph transformation for specification and programming
- MONSTR
- Relating graph and term rewriting via Böhm models
- Strongly reducing variants of the Krivine abstract machine
- Hy+
- scientific article; zbMATH DE number 1701353 (Why is no real title available?)
- Modeling pointer redirection as cyclic term-graph rewriting
- On term-graph rewrite strategies
- Three Syntactic Theories for Combinatory Graph Reduction
- Directed Graph Pattern Matching and Topological Embedding
- scientific article; zbMATH DE number 4052984 (Why is no real title available?)
- scientific article; zbMATH DE number 125890 (Why is no real title available?)
- scientific article; zbMATH DE number 177452 (Why is no real title available?)
- scientific article; zbMATH DE number 177788 (Why is no real title available?)
- scientific article; zbMATH DE number 1254027 (Why is no real title available?)
- scientific article; zbMATH DE number 1543055 (Why is no real title available?)
- On the interleaving semantics of transformation units -- a step into GRACE
- scientific article; zbMATH DE number 1418475 (Why is no real title available?)
- On graph rewriting, reduction, and evaluation in the presence of cycles
- Compiling collapsing rules in certain constructor systems
- GraphEd
- Properties of a first-order functional language with sharing
- An operational semantics for paragon: A design notation for parallel architectures
This page was built for software: DACTL
