Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888)

From MaRDI portal
scientific article; zbMATH DE number 7776347
Language Label Description Also known as
English
Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt>
scientific article; zbMATH DE number 7776347

    Statements

    Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    12 December 2023
    0 references
    multi-paradigm declarative programming
    0 references
    partial evaluation
    0 references
    rewriting logic
    0 references
    narrowing
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers