Индуктивный синтез программ

Трассировка выполнения

Последовательная запись операций, выполняемых во время исполнения программы, используемая для анализа и синтеза. Трассировки выполнения предоставляют важную информацию о поведении программы для направления генерации кода.

← Назад