Compiling bottom-up and mixed derivations into top-down executable logic programs (Q809591)

From MaRDI portal





scientific article; zbMATH DE number 4213425
Language Label Description Also known as
default for all languages
No label defined
    English
    Compiling bottom-up and mixed derivations into top-down executable logic programs
    scientific article; zbMATH DE number 4213425

      Statements

      Compiling bottom-up and mixed derivations into top-down executable logic programs (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      1991
      0 references
      compilation of non-standard computation rules
      0 references
      control rules
      0 references
      program transformation
      0 references
      Compiling Control
      0 references

      Identifiers