Síntesis de programas inductiva

Lenguaje Específico del Dominio (DSL)

Lenguaje de programación diseñado para un dominio de aplicación específico, ofreciendo una abstracción más alta y una expresividad dirigida. Los DSL simplifican la síntesis de programas al reducir la complejidad sintáctica y semántica.

← Volver