आनुवंशिक कार्यक्रम संश्लेषण

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.

← पीछे