Síntesis de programas basada en restricciones

Abstracción-refinamiento

Estrategia iterativa que simplifica inicialmente el problema y luego refina progresivamente las restricciones. Equilibra eficiencia y precisión en la síntesis de programas complejos.

← Volver