Hispanopedia Wiki
Articulo de referencia

Alphard (lenguaje de programación)

Alphard es un lenguaje de programación tipo Pascal para la abstracción y verificación de datos , propuesto y diseñado por William A. Wulf , Ralph L. London y Mary Shaw . [ 1 ] E...

Hispanopedia WikiContenido en espanolLectura gratuita

Alphard es un lenguaje de programación tipo Pascal para la abstracción y verificación de datos , propuesto y diseñado por William A. Wulf , Ralph L. London y Mary Shaw . [ 1 ] El lenguaje fue objeto de varias publicaciones de investigación a finales de la década de 1970, pero nunca se implementó. Su principal característica innovadora fue la introducción del tipo de dato 'form' , que combina una especificación y una implementación procedimental (ejecutable) . También tomó el generador de IPL-V , [ 2 ] así como las funciones de mapeo de Lisp [ 3 ] y las generalizó. [ 4 ]

Referencias

  1. ↑ Wulf, William A.; London, Ralph L.; Shaw, Mary (diciembre de 1976). "Una introducción a la construcción y verificación de programas Alphard" (PDF) . IEEE Transactions on Software Engineering . 2 (4): 253– 265. doi : 10.1109/TSE.1976.233830 .
  2. ↑ Newell, Allen (1964). Manual del lenguaje de procesamiento de información-V . Prentice-Hall . Recuperado el 12 de mayo de 2012 .
  3. ↑ McCarthy, John (1965). Manual del programador de LISP 1.5 (2.ª ed.). Cambridge: MIT Press. ISBN  978-0262130110.
  4. ↑ Shaw, Mary (1981). Alphard: forma y contenido . Springer-Verlag. ISBN 978-3-540-90663-6Consultado el 12 de mayo de 2012 .

Lecturas adicionales

  • Cleaveland, J. Craig (1986). Introducción a los tipos de datos . Addison-Wesley. ISBN 0201119404.