Síntese de programas indutiva

Síntese de Programas Baseada em Busca

Método de geração de programas que explora sistematicamente o espaço de soluções possíveis usando algoritmos de busca heurística. Esta abordagem avalia os candidatos de acordo com métricas de adequação para convergir para uma solução ótima.

← Voltar