"Algebra de módulos para programación lógico-funcional"
Como extensión de trabajos previos [2] sobre modularidad en programas lógico-funcionales escritos en una lógica de reescritura condicionada basada en una disciplina de constructoras (desarrollada en [1]) hemos modificado la noción inicial de módulo incorporando una signatura parametrizada y una signatura exportada. También hemos modificado las definiciones de las operaciones sobre módulos adaptándolas a la nueva noción y hemos incorporado una nueva operación de cambio de nombres que flexibiliza algunas construcciones modulares como la importación y la instanciación. Hemos estudiado las propiedades algebraicas de estas operaciones y su capacidad para expresar relaciones modulares tópicas (importación, abstracción, instanciación, herencia) dentro de las limitaciones de un lenguaje sin tipos. Y, por último, hemos comprobado que se mantienen las propiedades de las semánticas en orden a la compositividad y abstracción completa respecto a las operaciones.
[1] J.C. González Moreno, M.T. Hortalá González, F.J. López Fraguas y M. Rodríguez Artalejo. "A Rewriting Logic for Declatative Programming". En H.R.Nielson (ed.) Proc. ESOP'96, LNCS Vol. 1058, pp. 156-172. Springer-Verlag, 1996.
[2] J.M. Molina Bravo y E. Pimentel. "Modularity in Functional-Logic Programming". En L. Naish (ed.) Proc. Fourteenth ICLP, pp. 183-197, MIT Press, 1997.
[3] A. Brogi y F. Turini. "Fully Abstract Compositional Semantics for an Algebra of Logic Programs". Theoretical Computer Science 149 (2), pp. 201-229, 1995.