On graph rewriting, reduction, and evaluation in the presence of cycles (Q526460)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On graph rewriting, reduction, and evaluation in the presence of cycles |
scientific article; zbMATH DE number 6715311
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On graph rewriting, reduction, and evaluation in the presence of cycles |
scientific article; zbMATH DE number 6715311 |
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
