Modular extensions for modular (Logic) languages

Morales, J.; Hermenegildo, Manuel V. y Haemmerlé, R. (2012). Modular extensions for modular (Logic) languages. En: "21th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'11)", 18-20 de julio de 2012, Odense, Dinamarca. ISBN 9783642322105.

Descripción

Título: Modular extensions for modular (Logic) languages
Autor/es:
  • Morales, J.
  • Hermenegildo, Manuel V.
  • Haemmerlé, R.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 21th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'11)
Fechas del Evento: 18-20 de julio de 2012
Lugar del Evento: Odense, Dinamarca
Título del Libro: Logic-based program synthesis and transformation
Fecha: 2012
ISBN: 9783642322105
Volumen: 7225
Materias:
Palabras Clave Informales: Compilation, Modules, Modular program processing, Sepárate compilation, Prolog, Ciao, Language extensions, Domain specific languages, Compiladores, Programación de ordenadores, Lenguajes de especificación
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Ninguna

Texto completo

[img]
Vista Previa
Pdf - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (886kB) | Vista Previa

Localizaciones alternativas

URL Oficial: http://www.springerlink.com/content/978-3-642-32210-5/

Resumen

We address the problem of developing mechanisms for easily implementing modular extensions to modular (logic) languages. By(language) extensions we refer to different groups of syntactic definitions and translation rules that extend a language. Our use of the concept of modularity in this context is twofold. We would like these extensions to be modular, in the sense above, i.e., we should be able to develop different extensions mostly separately. At the same time, the sources and targets for the extensions are modular languages, i.e., such extensions may take as input sepárate pieces of code and also produce sepárate pieces of code. Dealing with this double requirement involves interesting challenges to ensure that modularity is not broken: first, combinations of extensions (as if they were a single extensión) must be given a precise meaning. Also, the sepárate translation of múltiple sources (as if they were a single source) must be feasible. We present a detailed description of a code expansion-based framework that proposes novel solutions for these problems. We argüe that the approach, while implemented for Ciao, can be adapted for other Prolog-based systems and languages.

Más información

ID de Registro: 13768
Identificador DC: http://oa.upm.es/13768/
Identificador OAI: oai:oa.upm.es:13768
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 29 Oct 2012 11:34
Ultima Modificación: 21 Abr 2016 13:08
  • 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