Ограниченная генерация кода для программной инженерии

Только то свойство, которое явно обеспечивается ограничением. Декодирование по грамматике может гарантировать принадлежность грамматике, а методы с учётом типов — стремиться к корректности типов; ни то ни другое само по себе не доказывает правильность задачи, семантическую эквивалентность, сохранение поведения или локальность изменений. Слово «ограниченная» неполно, пока не названо ограничиваемое свойство. Декодер может обеспечивать синтаксис, проверка типов — ограничивать допустимые продолжения, редактор — защищать выбранные области, а процесс исправления — принимать только варианты, прошедшие тесты. Эти механизмы решают разные задачи. Поэтому оценка должна сопоставлять механизм управления с заявленной гарантией. Успешный разбор — свидетельство синтаксиса, но не доказательство того, что программа выполняет запрос или сохраняет поведение вне изменения. Границы применимости: Разные ограничения могут конфликтовать; более сильное ограничение способно исключить корректные решения или снизить разнообразие. Проверки после генерации дают свидетельства только о покрываемом ими поведении. Связанная статья не оценивает формально ограниченное декодирование или исправление на уровне репозитория.