ソフトウェア工学のための制約付きコード生成

生成コードに対する文法制約、型制約、保持境界、振る舞いレベルの受け入れ検査を実務的に区別する。

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

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