Global analysis of constraint logic programs

Detalles Bibliográficos
Autores: Bruynooghe, Maurice, Dumortier, Veroniek, García de la Banda, M., Hermenegildo, Manuel V.|||0000-0002-7583-323X, Janssens, G., Simoens, W.
Tipo de recurso: artículo
Fecha de publicación:1996
País:España
Institución:Universidad Politécnica de Madrid
Repositorio:Archivo Digital UPM
OAI Identifier:oai:oa.upm.es:13752
Acceso en línea:https://oa.upm.es/13752/
Access Level:acceso abierto
Palabra clave:Abstract interpretation
Constraint logic programming
Global program analysis
Program analysis
Programación lógica por restricciones
Programación de ordenadores
Descripción
Descripción no disponible.