Síntesis de programas inductiva

Síntesis Guiada por Ejemplos

Enfoque de síntesis de programas que utiliza ejemplos concretos de entrada-salida para guiar la generación de código. Este método infiere las intenciones del programador a partir de patrones observados en los ejemplos proporcionados.

← Volver