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
default for all languages
No label defined
    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