Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa |
A proposal for an interchange abstract syntax for (parallel) Prolog
Cita
Ballesteros, Francisco J., Bueno Carrillo, Francisco 
ORCID: https://orcid.org/0000-0002-5460-5537, Cabeza Gras, Daniel, Carro Liñares, Manuel ORCID: https://orcid.org/0000-0001-5199-3135, García de la Banda, M., Gómez Henríquez, Luis M., Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X and 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.
ORCID: https://orcid.org/0000-0002-5460-5537, Cabeza Gras, Daniel, Carro Liñares, Manuel ORCID: https://orcid.org/0000-0001-5199-3135, García de la Banda, M., Gómez Henríquez, Luis M., Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X and 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: |
|
| Tipo de Documento: | Monográfico (Informe Técnico) |
| Fecha: | Junio 1993 |
| Materias: | |
| ODS: | |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
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: | https://oa.upm.es/14845/ |
| Identificador OAI: | oai:oa.upm.es:14845 |
| URL Oficial: | ftp://clip.dia.fi.upm.es/pub/papers/PARFORCE/first... |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 13 Abr 2013 07:40 |
| Ultima Modificación: | 27 Feb 2023 09:55 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
