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

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. y López García, Pedro (1993). A proposal for an interchange abstract syntax for (parallel) Prolog. Monografía (Informe Técnico). Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.

Descripción

Título: A proposal for an interchange abstract syntax for (parallel) Prolog
Autor/es:
  • 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
Tipo de Documento: Monográfico (Informes, Documentos de trabajo, etc.) (Informe Técnico)
Fecha: Junio 1993
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

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.

Más información

ID de Registro: 14845
Identificador DC: http://oa.upm.es/14845/
Identificador OAI: oai:oa.upm.es:14845
URL Oficial: ftp://clip.dia.fi.upm.es/pub/papers/PARFORCE/first_review/DIRECTORY.html
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 13 Abr 2013 07:40
Ultima Modificación: 21 Abr 2016 14:48
  • 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