Buscar
Mostrando ítems 1-1 de 1
Sobre la automatización de la extracción de programas de pruebas de terminación
(Universidad Autónoma de Bucaramanga UNAB, 2003-12-01)
Tipo de documento: Artículo
Investigamos un sistema de síntesis de programas automatizado que se basa en el paradigma de la programación por pruebas. Para extraer automáticamente un término que calcule una función recursiva dada por un conjunto de ...