Towards a methodology for the design of abstract machines for logic programming languages (Q5286920)

From MaRDI portal





scientific article; zbMATH DE number 227533
Language Label Description Also known as
default for all languages
No label defined
    English
    Towards a methodology for the design of abstract machines for logic programming languages
    scientific article; zbMATH DE number 227533

      Statements

      Towards a methodology for the design of abstract machines for logic programming languages (English)
      0 references
      0 references
      1 December 1993
      0 references
      partial evaluation
      0 references
      abstract machine
      0 references

      Identifiers