Sobre la automatización de la extracción de programas de pruebas de terminación
View/ Open
Cite
Share this
Date
2003-12-01Other contributors
Metadata
Show full item recordDocuments PDF
Abstract
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.
Lemb keywords
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 systemLink to resource
Source
- Revista Colombiana de Computación; Vol. 4 Núm. 2 (2003): Revista Colombiana de Computación; 1-20
Comments