Классификация подходов к синтезу программ

На данный момент существуют четыре подхода к автоматическому синтезу программ.

• 1 .Дедуктивный синтез (логический вывод). В этом случае спецификация задается теоремой в формальном исчислении; программа извлекается из доказательства теоремы. В этой книге рассматривается дедуктивный синтез с использованием метода резолюций.
• 2. Индуктивный синтез (синтез программ по примерам). В этом случае спецификация задается набором примеров выполнения программы; программа извлекается из примеров путем обобщения, выявления последовательностей, прогрессий и т. п. В этом учебнике рассматривается индуктивный синтез циклических программ, работающих с целочисленными массивами.
• 3. Трансформационный синтез (трансляция). Этот метод заключается в поэтапном преобразовании исходной спецификации в исполнимый код. Исходная спецификация задается на языке более высокого уровня, нежели обычный язык программирования. Используются графические средства, такие как унифицированный язык моделирования (UML), различные математические объекты, системы дифференциальных уравнений и т. п. В спецификации используются непосредственно понятия предметной области, без указания на способ их представления в программе. Спецификации для таких систем часто называют непроцедурными, декларативными и т. п., чтобы подчеркнуть их отличие от привычных императивных языков программирования. Как правило, системы трансформационного синтеза очень сильно привязаны к конкретной предметной области. Экспертные знания из конкретной предметной области являются решающими.
• 4. Утилитарный синтез — частные приемы в частных случаях (генераторы отчетов и пр.); по сути все, что не попадает в первые три пункта. Здесь рассматривается структурный синтез программ — простой, но очень эффектный метод, который позволяет синтезировать программы ограпи-

ценного вида в узком классе предметных областей. Зато этот метод в своей области настолько эффективен, что используется в промышленных масштабах уже давно.