Generación restringida de código para la ingeniería de software

Una distinción práctica entre restricciones gramaticales, restricciones de tipos, límites de preservación y comprobaciones de aceptación del código generado en el nivel del comportamiento.

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

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