DACTL - MaRDI portal

Cited in

(31)

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

This page was built for software: DACTL