Síntese de Programas baseada em Restrições

Abstração-Refinamento

Estratégia iterativa que simplifica inicialmente o problema e depois refina progressivamente as restrições. Equilibra eficiência e precisão na síntese de programas complexos.

← Voltar