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
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers