Diseño y semántica de lenguajes lógico-funcionales

• Autores: Mario Rodríguez Artalejo
• Localización: III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic] / Juan Carlos Torres Cantero (dir. congr.) , 1997, ISBN 84-8498-463-X, pág. 3
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • El diseño de lenguajes de programación lógico-funcionales pretende hacer posible la combinación del estilo funcional propio de lenguajes tales como SML o Haskell con el estilo lógico característico de los lenguajes de la familia Prolog. Se trata de ganar expresividad sin perder la principal ventaja de los lenguajes declarativos: una semántica simple, basada en la lógica.

    En esta conferencia se presentará la línea de investigación sobre el diseño de lenguajes lógico-funcionales, desarrollada en varios proyectos por el grupo de programación declarativa del Dpto. de Sistemas Informáticos y de programación de la UCM. Hemos diseñado semánticas y mecanismos de ejecución adecuados para lenguajes con diferentes características, tales como restricciones[1, 2], funciones interdeterministas [3] y de orden superior [4], y tipos de datos algebraicos [5]. Todas estas características, excepto la última, están incorporadas en la implementacion del sistema TOY[6].