Geração de código com restrições para engenharia de software

Uma distinção prática entre restrições gramaticais, restrições de tipos, fronteiras de preservação e verificações de aceitação no nível do comportamento para código gerado.

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

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