Global analysis of constraint logic programs

Bruynooghe, Maurice; Dumortier, Veroniek; García de la Banda, M.; Hermenegildo, Manuel V.; Janssens, G. y Simoens, W. (1996). Global analysis of constraint logic programs. "ACM transactions on programming languages and systems", v. 18 (n. 5); pp. 564-615. ISSN 0164-0925. https://doi.org/10.1145/232706.232734.

Descripción

Título: Global analysis of constraint logic programs
Autor/es:
  • Bruynooghe, Maurice
  • Dumortier, Veroniek
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
  • Janssens, G.
  • Simoens, W.
Tipo de Documento: Artículo
Título de Revista/Publicación: ACM transactions on programming languages and systems
Fecha: Septiembre 1996
Volumen: 18
Materias:
Palabras Clave Informales: Abstract interpretation, Constraint logic programming, Global program analysis, Program analysis, Programación lógica por restricciones, Programación de ordenadores
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (3MB) | Vista Previa

Resumen

This article presents and illustrates a practical approach to the dataow analysis of constraint logic programming languages using abstract interpretation. It is rst argued that from the framework point of view it suces to propose relatively simple extensions of traditional analysis methods which have already been proved useful and practical and for exist. This is shown by proposing a simple extension of Bruynooghes traditional framework which allows it to analyze constraint logic programs. Then and using this generalized framework two abstract domains and their required abstract functions are presented the rst abstract domain approximates deniteness information and the second one freeness. Finally an approach for cobining those domains is proposed The two domains and their combination have been implemented and used in the analysis of CLP and Prolog III applications. Results from this implementation showing its performance and accuracy are also presented

Más información

ID de Registro: 13752
Identificador DC: http://oa.upm.es/13752/
Identificador OAI: oai:oa.upm.es:13752
Identificador DOI: 10.1145/232706.232734
URL Oficial: http://dl.acm.org/citation.cfm?id=232706&CFID=182044751&CFTOKEN=48619248
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 23 Oct 2012 12:28
Ultima Modificación: 21 Abr 2016 13:06
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM