Inductive Programming

term_id: inductive_programming

Category: basic_concepts

Definition

Induktiv programmering, ofte omtalt som programsyntese, involverer oprettelse af softwarekode baseret på specifikationer leveret som input-output-par frem for eksplicitte instruktioner. Systemet infererer logikken bag koden ud fra eksemplerne.

Summary

Et felt inden for programsyntese, der automatisk genererer computprogrammer fra input-output-eksempler.

Key Concepts

  • Programsyntese
  • Input-Output-eksempler
  • Automatisk kodning
  • Logisk inferens

Use Cases

  • Værktøjer til kodekomplettering
  • Generering af scripts fra data
  • Uddannelsesmæssige programmeringshjælpemidler