El lenguaje de programación de flujo de datos síncrono LUSTRE

Los autores describen LUSTRE, un lenguaje de flujo de datos síncrono diseñado para programar sistemas reactivos, como sistemas de control automático y de monitoreo, así como para describir hardware. El aspecto de flujo de datos de LUSTRE lo hace muy cercano a las herramientas de descripción habituales en estos dominios (diagramas de bloques, redes de operadores, sistemas de muestras dinámicas, etc.), y su interpretación síncrona lo hace adecuado para manejar el tiempo en los programas. Además, esta interpretación síncrona permite que se compilen en un programa secuencial eficiente. El formalismo de LUSTRE es muy similar a las lógicas temporales. Esto permite que el lenguaje se utilice tanto para escribir programas como para expresar propiedades de programas, lo que resulta en una metodología de verificación de programas original.