Síntesis de programas basada en restricciones

SyGuS

Síntesis Guiada por Sintaxis, estándar que formaliza los problemas de síntesis con gramática de soluciones especificada. Permite controlar la estructura y complejidad de los programas generados.

← Volver