Generación de Código de Programación

Síntesis de Código

Generación completa de programas funcionales a partir de especificaciones de alto nivel o ejemplos de entrada-salida. La síntesis combina técnicas de búsqueda, restricciones y aprendizaje para construir código que cumpla con las especificaciones dadas.

← Volver