Sobre la automatización de la extracción de programas de pruebas de terminación
Ver/
Citación
Comparte este contenido
Fecha
2003-12-01Otros contribuidores
Metadatos
Mostrar el registro completo del ítemDocumentos PDF
Resumen
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 ecuaciones, el sistema debe encontrar una prueba formal de la totalidad de la función dada. Debido al marco lógico particular, por lo general estos enfoques dificultan el uso de técnicas de terminación como las de la teoría de reescritura. Superamos esta dificultad para el sistema automatizado que consideramos explotando tipos de productos. Como consecuencia, esto permitiría la incorporación de técnicas de terminación utilizadas en otras áreas sin dejar de extraer programas.
Palabras clave
Innovaciones tecnológicas; Ciencias de la computación; Desarrollo tecnológico; Ingeniería de sistemas; Investigaciones; Tecnologías de la información y la comunicaciónKeywords
Technological innovations; Computer science; Technology development; Systems engineering; Investigations; Information and communication technologies; ICT's; Program extraction; Product types; Termination; ProPre systemEnlace al recurso
Fuente del recurso
- Revista Colombiana de Computación; Vol. 4 Núm. 2 (2003): Revista Colombiana de Computación; 1-20
Enlace a este registro en el Repositorio Institucional UNAB
http://hdl.handle.net/20.500.12749/9046
Comentarios