Confluence of indirection reductions in graph rewrite systems

P.M. van den Broek

    Research output: Contribution to journalArticleAcademicpeer-review

    67 Downloads (Pure)

    Abstract

    It is shown that a graph rewrite system which has indirection reductions only has the confluence property.
    Original languageUndefined
    Article number10.1016/0020-0190(88)90052-X
    Pages (from-to)143-148
    Number of pages6
    JournalInformation processing letters
    Volume29
    Issue number3
    DOIs
    Publication statusPublished - 26 Oct 1988

    Keywords

    • Confluence property
    • indirection graph
    • EWI-10077
    • graph rewrite system
    • IR-64085

    Cite this