Some issues in analysis and specialization of modular ciao-prolog programs

Puebla Sánchez, Alvaro Germán y Hermenegildo, Manuel V. (2000). Some issues in analysis and specialization of modular ciao-prolog programs. En: "WOID'99, Workshop on Optimization and Implementation of Declarative Programs (in connection with ICLP'99, International Conference on Logic Programming)", 2–3 December 1999, Las Cruces, New Mexico, USA.

Descripción

Título: Some issues in analysis and specialization of modular ciao-prolog programs
Autor/es:
  • Puebla Sánchez, Alvaro Germán
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: WOID'99, Workshop on Optimization and Implementation of Declarative Programs (in connection with ICLP'99, International Conference on Logic Programming)
Fechas del Evento: 2–3 December 1999
Lugar del Evento: Las Cruces, New Mexico, USA
Título del Libro: Electronic notes in theoretical computer science
Fecha: Marzo 2000
Volumen: 30
Materias:
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 (1MB) | Vista Previa

Resumen

Separating programs into modules is a well-known technique which has proven very useful in program development and maintenance. Starting by introducing a number of possible scenarios, in this paper we study different issues which appear when developing analysis and specialization techniques for modular logic programming. We discuss a number of design alternatives and their consequences for the different scenarios considered and describe where applicable the decisions made in the Ciao system analyzer and specializer. In our discussion we use the module system of Ciao Prolog. This is both for concreteness and because Ciao Prolog is a second-generation Prolog system which has been designed with global analysis and specialization in mind, and which has a strict module system. The aim of this work is not to provide a theoretical basis on modular analysis and specialization, but rather to discuss some interesting practical issues.

Más información

ID de Registro: 14623
Identificador DC: http://oa.upm.es/14623/
Identificador OAI: oai:oa.upm.es:14623
URL Oficial: http://www.sciencedirect.com/science/journal/15710661/30/2
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 12 Mar 2013 14:43
Ultima Modificación: 21 Abr 2016 14:22
  • 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