Análisis semántico y transformación de programas lógico-funcionales.

TL;DRAbstract

El problema de la integraci on de la programaci on l ogica y funcional est a considerado
\ncomo uno de los m as importantes en el area de investigaci on sobre programaci on
\ndeclarativa. Para que los lenguajes declarativos sean utiles y puedan utilizarse en
\naplicaciones reales, es necesario que el grado de e ciencia de su ejecuci on se aproxime
\nal de los lenguajes imperativos, tal y como se ha conseguido con el lenguaje Prolog.
\nPara ello, es imprescindible el desarrollo de herramientas potentes para el an alisis y
\ntransformaci on de los programas, capaces de optimizar las implementaciones realizadas.
\nEn general, es deseable sustituir las aproximaciones ad-hoc por tratamientos
\nm as sistem aticos para los problemas de an alisis y transformaci on de programas. Puesto
\nque la sem antica de los lenguajes l ogico{funcionales ha sido objeto de numerosos
\nestudios y est a matem aticamente bien formalizada, surge el inter es por el desarrol

Chat with Paper

AI Agents for this Paper