Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.

Detalles Bibliográficos
Autores:	Bueno Carrillo, Francisco\|\|\|0000-0002-5460-5537, García de la Banda, M., Hermenegildo, Manuel V.\|\|\|0000-0002-7583-323X
Tipo de recurso:	informe técnico
Fecha de publicación:	1995
País:	España
Institución:	Universidad Politécnica de Madrid
Repositorio:	Archivo Digital UPM
OAI Identifier:	oai:oa.upm.es:15081
Acceso en línea:	https://oa.upm.es/15081/
Access Level:	acceso abierto
Palabra clave:	(Constraint) Logic programming Concurrent constraint programming Compile-time analysis Abstract interpretation Independent and-parallelism Program transformation Parallelization Programación lógica restringida Programación simultánea restringida análisis del tiempo de compilación Interpretación abstracta Transformación de programas Paralelización.

Descripción
Descripción no disponible.