Home Page of José A. Riaza

Blog

See all posts »

Haskell — Analizadores sintácticos monádicos

2021/05/26

Un analizador sintáctico es un programa que analiza cadenas de símbolos y permite transformarlas en algún tipo de representación interna. En programación funcional, una mónada es una estructura que representa una forma de computación y que favorece la programación con efectos de forma genérica. Los analizadores sintácticos son uno de los muchos problemas que las mónadas ayudan a simplificar.

Read more »
Prolog — Transformación de programas

2020/04/27

Toda cláusula Prolog es un término Prolog válido, lo cual implica que podemos analizar y procesar código Prolog utilizando predicados y características incorporadas del propio lenguaje, y es especialmente conveniente a la hora de definir transformaciones automáticas de programas. Aunque el estándar ISO Prolog no define ningún mecanismo de transformación de programas tales como la expansión de macros o la compilación condicional, todos los sistemas Prolog ampliamente utilizados proporcionan predicados que permiten reescribir código en tiempo de compilación.

Read more »

Projects

Declarative programming
Other projects
Prolog resources

Research

Journal articles
Chapters and Conference Papers
Theses

2019 - 2021 José Antonio Riaza Valverde | Uses Font Awesome and Bootstrap

github.com/jariazavalverde | twitter.com/jariazavalverde | instagram.com/jariazavalverde