Observatorio de I+D+i UPM

Memorias de investigación
Otras publicaciones:
Modular Extensions for Modular (Logic)
Áreas de investigación
  • Lenguaje de programación
We address the problem of developing mechanisms for eas- ily 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 separate pieces of code and also produce separate 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 extension) must be given a precise meaning. Also, the separate translation of multiple 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 argue that the approach, while implemented for Ciao, can be adapted for other Prolog-based systems and languages.
21th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'11
Odense, Dinamarca
Tipo de publicación
Presentación en congreso
Esta actividad pertenece a memorias de investigación
  • Autor: Jose Francisco Morales Caballero (UPM)
  • Autor: Manuel de Hermenegildo Salinas (UPM)
  • Autor: Remmy Haemmerlé (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)