Composing programs in a rewriting logic for declarative programming (Q4452602)

From MaRDI portal





scientific article; zbMATH DE number 2048579
Language Label Description Also known as
English
Composing programs in a rewriting logic for declarative programming
scientific article; zbMATH DE number 2048579

    Statements

    Composing programs in a rewriting logic for declarative programming (English)
    0 references
    1 March 2004
    0 references
    functional-logic programming
    0 references
    compositionality
    0 references

    Identifiers