Synthesis of rewrite programs by higher-order and semantic unification (Q749216)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Synthesis of rewrite programs by higher-order and semantic unification
scientific article

    Statements

    Synthesis of rewrite programs by higher-order and semantic unification (English)
    0 references
    0 references
    1991
    0 references
    narrowing
    0 references
    programming by example
    0 references
    inductive inference
    0 references
    anti-unification
    0 references
    higher-order unification
    0 references
    semantic unification
    0 references
    term rewriting system
    0 references

    Identifiers