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

Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. (2000). Some issues in analysis and specialization of modular ciao-prolog programs. In: "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.

Description

Title: Some issues in analysis and specialization of modular ciao-prolog programs
Author/s:
  • Puebla Sánchez, Alvaro Germán
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: WOID'99, Workshop on Optimization and Implementation of Declarative Programs (in connection with ICLP'99, International Conference on Logic Programming)
Event Dates: 2–3 December 1999
Event Location: Las Cruces, New Mexico, USA
Title of Book: Electronic notes in theoretical computer science
Date: March 2000
Volume: 30
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

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.

More information

Item ID: 14623
DC Identifier: http://oa.upm.es/14623/
OAI Identifier: oai:oa.upm.es:14623
Official URL: http://www.sciencedirect.com/science/journal/15710661/30/2
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 12 Mar 2013 14:43
Last Modified: 21 Apr 2016 14:22
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM