Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Detalles Bibliográficos
Autores:	Bueno Carrillo, Francisco\|\|\|0000-0002-5460-5537, Hermenegildo, Manuel V.\|\|\|0000-0002-7583-323X, López García, Pedro, Puebla Sánchez, Alvaro Germán
Tipo de recurso:	artículo
Fecha de publicación:	2005
País:	España
Institución:	Universidad Politécnica de Madrid
Repositorio:	Archivo Digital UPM
OAI Identifier:	oai:oa.upm.es:11151
Acceso en línea:	https://oa.upm.es/11151/
Access Level:	acceso abierto
Palabra clave:	Program development Global analysis Abstract interpretation Debugging Verification Partial evaluation Program transformation Optimization Parallelization Resource control Programming environments Multi-Paradigm programming (Constraint) Logic programming Desarrollo de programas Depuración de programas Verificación de programas Evaluación parcial Transformación de programas Paralelización automática Entornos de programas Paradigma múltiple de programación Programación lógica

Descripción
Descripción no disponible.