Ограничено генериране на код за софтуерното инженерство

Практическо разграничение между граматични ограничения, ограничения на типовете, граници на запазване и проверки за приемане на генерирания код на равнище поведение.

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

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