Synthèse de programmes inductive

Program Synthesis

Discipline de l'informatique visant à générer automatiquement des programmes informatiques satisfaisant des spécifications de haut niveau. Cette approche combine des techniques de recherche, d'apprentissage automatique et de raisonnement formel pour créer du code fonctionnel.

← Retour