Síntese de programas indutiva

Síntese Orientada por Exemplos

Abordagem de síntese de programas que utiliza exemplos concretos de entrada-saída para guiar a geração de código. Este método infere as intenções do programador a partir de padrões observados nos exemplos fornecidos.

← Voltar