Modular extensions for modular (Logic) languages

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

Description

Title: Modular extensions for modular (Logic) languages
Author/s:
  • Morales, J.
  • Hermenegildo, Manuel V.
  • Haemmerlé, R.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 21th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'11)
Event Dates: 18-20 de julio de 2012
Event Location: Odense, Dinamarca
Title of Book: Logic-based program synthesis and transformation
Date: 2012
ISBN: 9783642322105
Volume: 7225
Subjects:
Freetext Keywords: Compilation, Modules, Modular program processing, Sepárate compilation, Prolog, Ciao, Language extensions, Domain specific languages, Compiladores, Programación de ordenadores, Lenguajes de especificación
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: None

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (886kB) | Preview

Abstract

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.

More information

Item ID: 13768
DC Identifier: http://oa.upm.es/13768/
OAI Identifier: oai:oa.upm.es:13768
Official URL: http://www.springerlink.com/content/978-3-642-32210-5/
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 29 Oct 2012 11:34
Last Modified: 21 Apr 2016 13:08
  • 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