Observatorio de I+D+i UPM

Descripció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.
Internacional	No
Entidad	21th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'11
Lugar	Odense, Dinamarca
Páginas	15
Referencia/URL	http://users.dsic.upv.es/~lopstr11/accepted_papers.html
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)

• Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
• Departamento: Inteligencia Artificial