Diseño y semántica de lenguajes lógico-funcionales
- Torres Cantero, Juan Carlos (dir. congr.)
Editorial: [Sevilla?] : Asociación Española de Informática y Automática,[1997]
ISBN: 84-8498-463-X
Año de publicación: 1997
Páginas: 3
Congreso: Jornadas de Informática (3. 1997. Puerto de Santa María)
Tipo: Aportación congreso
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].