Some models of inductive syntactical synthesis from sample computations (Q4560355)

From MaRDI portal





scientific article; zbMATH DE number 6992066
Language Label Description Also known as
default for all languages
No label defined
    English
    Some models of inductive syntactical synthesis from sample computations
    scientific article; zbMATH DE number 6992066

      Statements

      Some models of inductive syntactical synthesis from sample computations (English)
      0 references
      11 December 2018
      0 references
      target program
      0 references
      input sample
      0 references
      arithmetical progression
      0 references
      sample computation
      0 references
      synthesis algorithm
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references