« Más sobre la cota log(n!).
Emulación. »

Una tesís interesante.

AQUI.

Especificación y derivación de algoritmos de forma automática, algo tiene que ver con mis ideas sobre como debería de ser el programar, si lo he entendido bien, leyendo por encima.

¿Alguien sabe de estudios de derivación automática de especificaciones a código? Me interesaría muchísimo, lo veo como un gran paso de abstracción en el camino a seguir. Aunque fuera semi-automatica apoyandose en una base de datos.

EDITO: Para añadir un documento que parece aún más interesante AQUÍ.

This entry was posted on Tuesday, August 14th, 2007 at 20:54 and is filed under General. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.

2 Responses to “Una tesís interesante.”

  1. javifields Says:
    August 19th, 2007 at 15:16

    si, hay mucha literatura sobre eso, pero estoy de vacaciones ;-)
    (un pequeño ejemplo lo tienes en un PFC que implementó un generador de implementaciones de TAD’s a partir de especificaciones algebraicas, es el primer enlace en esta página, con usuario y clave habituales)

  2. azrael Says:
    August 19th, 2007 at 19:19

    Jaja, gracias por el dato, Javifields.
    Tampoco estas obligado a ponerme comentarios cada vez que me paso por tu bitácora :P , aunque se agradece.
    Voy a echarle un ojo al PFC ese, me encanta el tema.

Leave a Reply