Sobre la automatización de la extracción de programas de pruebas de terminación

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 fu...

Full description

Autores:

Kamareddine, Fairouz
Monin, François
Ayala Rincón, Mauricio

Tipo de recurso:

Trabajo de grado de pregrado

Fecha de publicación:

2003

Institución:

Universidad Autónoma de Bucaramanga - UNAB

Repositorio:

Repositorio UNAB

Idioma:

spa

OAI Identifier:

oai:repository.unab.edu.co:20.500.12749/9046

Acceso en línea:

http://hdl.handle.net/20.500.12749/9046

Palabra clave:

Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Program extraction
Product types
Termination
ProPre system
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ón
Extracción de programas
Tipos de productos
Terminación
Sistema ProPre

Rights

License

Derechos de autor 2003 Revista Colombiana de Computación