Synthèse de programmes inductive

Constraint-Based Synthesis

Technique utilisant des contraintes logiques pour spécifier le comportement attendu d'un programme à générer. Le système résout ces contraintes pour produire automatiquement un code satisfaisant toutes les conditions requises.

← Retour