A proposal for an interchange abstract syntax for (parallel) Prolog

Ballesteros, Francisco J. and Bueno Carrillo, Francisco and Cabeza Gras, Daniel and Carro Liñares, Manuel and García de la Banda, M. and Gómez Henríquez, Luis M. and Hermenegildo, Manuel V. and López García, Pedro (1993). A proposal for an interchange abstract syntax for (parallel) Prolog. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Description

Title: A proposal for an interchange abstract syntax for (parallel) Prolog
Author/s:
  • Ballesteros, Francisco J.
  • Bueno Carrillo, Francisco
  • Cabeza Gras, Daniel
  • Carro Liñares, Manuel
  • García de la Banda, M.
  • Gómez Henríquez, Luis M.
  • Hermenegildo, Manuel V.
  • López García, Pedro
Item Type: Monograph (Technical Report)
Date: June 1993
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

We propose an abstract syntax for Prolog that will help the manipulation of programs at compile-time, as well as the exchange of sources and information among the tools designed for this manipulation. This includes analysers, partial evaluators, and program transformation tools. We have chosen to concentrate on the information exchange format, rather than on the syntax of programs, for which we assume a simplified format. Our purpose is to provide a low-level meeting point for the tools which will allow them to read the same programs and understand the information about them. This report describes our first design in an informal way. We expect this design to evolve and concretize, along with the future development of the tools, during the project.

More information

Item ID: 14845
DC Identifier: http://oa.upm.es/14845/
OAI Identifier: oai:oa.upm.es:14845
Official URL: ftp://clip.dia.fi.upm.es/pub/papers/PARFORCE/first_review/DIRECTORY.html
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 13 Apr 2013 07:40
Last Modified: 21 Apr 2016 14:48
  • 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