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