On graph rewriting, reduction, and evaluation in the presence of cycles (Q526460)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On graph rewriting, reduction, and evaluation in the presence of cycles |
scientific article |
Statements
On graph rewriting, reduction, and evaluation in the presence of cycles (English)
0 references
15 May 2017
0 references
graph reduction
0 references
term-graph rewriting
0 references
reduction machine
0 references
defunctionalization
0 references
continuation-passing style
0 references
refocusing
0 references
0 references
0 references
0 references
0 references