Inductief Programmeren
term_id: inductive_programming
Category: basic_concepts
Definition
Inductief Programmeren, vaak aangeduid als Programsynthese, houdt in het creëren van softwarecode op basis van specificaties die worden gegeven als invoer-uitvoerparen in plaats van expliciete instructies. Het systeem inferert de logica uit de voorbeelden.
Summary
Een vakgebied van programsynthese dat automatisch computerprogramma’s genereert op basis van invoer-uitvoervoorbeelden.
Key Concepts
- Programmasynthese
- Invoer-uitvoervoorbeelden
- Geautomatiseerde Codegeneratie
- Logica-inferentie
Use Cases
- Hulpmiddelen voor code-aanvulling
- Genereren van scripts uit gegevens
- Ondersteunende hulpmiddelen bij programmeren in het onderwijs