Abstract multiple specialization and its application to program parallelization.

Detalles Bibliográficos
Autores: Puebla Sánchez, Alvaro Germán, Hermenegildo, Manuel V.|||0000-0002-7583-323X
Tipo de recurso: artículo
Fecha de publicación:1999
País:España
Institución:Universidad Politécnica de Madrid
Repositorio:Archivo Digital UPM
OAI Identifier:oai:oa.upm.es:14265
Acceso en línea:https://oa.upm.es/14265/
Access Level:acceso abierto
Palabra clave:Program specialization
Abstract interpretation
Partial evaluation
Static analysis
Parallelization
Loop invariant Detection
Programas de especialización
Interpretación abstracta
Evaluación parcial
Análisis estático
Paralelización
Circuito de detección invariable.
Descripción
Descripción no disponible.