Un mundo sin programadores?

Resumen

Explore program synthesis, its history, concepts, and real-world applications. Learn about automated code generation and its potential impact on the future of software development.

Programa

• Introducción a la Síntesis de Programas
Definición y Resumen
Perspectiva Histórica
• Conceptos Clave en la Síntesis de Programas
Métodos Formales y Especificaciones
Técnicas de Búsqueda y Optimización
Enfoques de Aprendizaje Automático
• Generación Automática de Código
Herramientas y Tecnologías
Técnicas de Generación de Código
Estudios de Caso en la Generación de Código
• Aplicaciones Reales de la Síntesis de Programas
Casos de Uso en la Industria
Impacto en las Prácticas de Desarrollo de Software
Desafíos y Limitaciones
• El Futuro del Desarrollo de Software
Impacto Potencial en Carreras de Programación
Implicaciones Éticas y Sociales
Tendencias y Tecnologías Emergentes
• Conclusión y Perspectivas Futuras
Resumen de los Aprendizajes Clave
Discusión sobre Avances y Oportunidades

---

Materias

Conference Talks