Los orígenes de este lenguaje de programación se encuentran en los trabajos realizados en la Universidad de Southamton (Reino Unido) sobre verificación formal de programas, y más concretamente en el desarrollo de SPADE ("Southampton Program Analysis Development Environment"), un conjunto de herramientas destinadas al análisis de flujo de datos y de información.