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 |
ORCID: https://orcid.org/0000-0002-7583-323X
(2009).
A new module system for prolog.
En: "ICLP'99 WS on Parallelism and Implementation of (C)LP Systems", December 1999, Las Cruces, New Mexico, USA.
| Título: | A new module system for prolog |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
| Título del Evento: | ICLP'99 WS on Parallelism and Implementation of (C)LP Systems |
| Fechas del Evento: | December 1999 |
| Lugar del Evento: | Las Cruces, New Mexico, USA |
| Título del Libro: | ICLP'99 WS on Parallelism and Implementation of (C)LP Systems |
| Fecha: | Diciembre 2009 |
| Materias: | |
| ODS: | |
| Palabras Clave Informales: | Prolog, Modules, Separate compilation, Modular program processing, Ciao-prolog, Recopilación por separado, Procesamientso de programas modulares. |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa |
It is now widely accepted that separating programs into modules has proven very useful in program development and maintenance. While many Prolog implementations include useful module systems, we feel that these systems can be improved in a number of ways, such as, for example, being more amenable to effective global analysis and allowing sepárate compilation or sensible creation of standalone executables. We discuss a number of issues related to the design of such an improved module system for Prolog. Based on this, we present the choices made in the Ciao module system, which has been designed to meet a number of objectives: allowing sepárate compilation, extensibility in features and in syntax, amenability to modular global analysis, etc.
| ID de Registro: | 14635 |
|---|---|
| Identificador DC: | https://oa.upm.es/14635/ |
| Identificador OAI: | oai:oa.upm.es:14635 |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 15 Mar 2013 07:39 |
| Ultima Modificación: | 21 Abr 2016 14:23 |
Publicar en el Archivo Digital desde el Portal Científico