Génération de code sous contraintes pour le génie logiciel

Une distinction pratique entre les contraintes grammaticales, les contraintes de types, les frontières de préservation et les contrôles d’acceptation comportementaux du code généré.

HTML: https://aogavrilov.com/fr/research-notes/constrained-code-generation-software-engineering/

Markdown: https://aogavrilov.com/fr/research-notes/constrained-code-generation-software-engineering/index.md