Lenguaje de amplio espectro

Un lenguaje de amplio espectro (WSL, por sus siglas en inglés) es un lenguaje de programación diseñado para ser simultáneamente un lenguaje de bajo nivel y de alto nivel , posiblemente un lenguaje de especificación no ejecutable . Los lenguajes de amplio espectro están diseñados para admitir una metodología de programación basada en el refinamiento de programas .

El concepto fue introducido por FL Bauer et al. en 1978:

...El programa debe desarrollarse paso a paso aplicando transformaciones que preserven la corrección... El proceso de desarrollo implica, por lo general, múltiples reformulaciones... Dado que la mayoría de los lenguajes de programación actuales no contienen todos los conceptos necesarios para la formulación de las diferentes versiones, el programador se ve obligado hoy en día a utilizar distintos lenguajes. Para evitar la transición de un lenguaje a otro, parece apropiado contar con un marco de lenguaje coherente que abarque todo el espectro descrito anteriormente, es decir, un lenguaje de amplio espectro . ^{[ 1 ]}

La ventaja de utilizar un único lenguaje en lugar de lenguajes separados para la especificación, el alto nivel y el bajo nivel es que el programa se puede refinar de forma incremental, conservando las versiones intermedias algunas construcciones de alto nivel y otras de bajo nivel.

El grupo de Bauer desarrolló el lenguaje de amplio espectro CIP-L y el sistema de transformación de programas CIP-S .

• ML extendido , un lenguaje de amplio espectro basado en ML
• Una de las principales implementaciones de Common Lisp , SBCL , tiene una interfaz con el lenguaje ensamblador llamada VOP (Virtual Operator), en la que el usuario puede manipular los registros directamente.
• Lenguaje de especificación RAISE , descrito como un lenguaje de especificación de amplio espectro.

• FL Bauer y otros , «Hacia un lenguaje de amplio espectro para apoyar la especificación y el desarrollo de programas», ACM SIGPLAN Notices 13 :12:15-24, diciembre de 1978. Texto completo (se requiere suscripción).
• FL Bauer, El lenguaje de amplio espectro CIP-L , vol. 1 de El proyecto CIP de Múnich , en Lecture Notes in Computer Science 183 , Berlín, 1985. ISBN 3-540-15187-7.
• Z. Chen et al. , "Un lenguaje de amplio espectro para el desarrollo basado en objetos de sistemas en tiempo real", International Journal of Information Sciences 118 :15-35 (1999)
• Theo de Ridder, "Using Python as a Wide-Spectrum Language", EuroPython 2002.
• Martin Ward, "Demostración de refinamientos y transformaciones de programas", tesis doctoral, Universidad de Oxford, 1989.