Euclid (lenguaje de programación) - Euclid (programming language)
Paradigma | multi-paradigma : estructurado , imperativo , funcional |
---|---|
Diseñada por | Mayordomo Lampson , Xerox PARC |
Desarrollador | Ric Holt y James Cordy |
Apareció por primera vez | 1970 |
Disciplina de mecanografía | fuerte , estático |
Influenciado por | |
Pascal | |
Influenciado | |
Mesa , Euclides concurrente , Turing |
Euclid es un lenguaje de programación imperativo para escribir programas verificables . Fue diseñado por Butler Lampson y sus asociados en el laboratorio Xerox PARC a mediados de la década de 1970. La implementación fue dirigida por Ric Holt en la Universidad de Toronto y James Cordy fue el programador principal para la primera implementación del compilador . Fue diseñado originalmente para el microprocesador Motorola 6809 . Se consideró innovador para la época; el equipo de desarrollo del compilador tenía un presupuesto de $ 2 millones durante 2 años y fue encargado por la Agencia de Proyectos de Investigación Avanzada de Defensa del Departamento de Defensa de los Estados Unidos y el Departamento de Defensa Nacional de Canadá . Se utilizó durante algunos años en IP Sharp Associates , MITRE Corporation , SRI International y varios otros institutos internacionales para la investigación en programación de sistemas y sistemas de software seguros.
Euclid desciende del lenguaje de programación Pascal . Las funciones en Euclid son ámbitos cerrados, pueden no tener efectos secundarios y deben declarar importaciones explícitamente. Euclid también no permite gotos , números de coma flotante, asignaciones globales, funciones anidadas y alias, y ninguno de los parámetros reales de una función puede hacer referencia a lo mismo. Euclid implementa módulos como tipos. Los descendientes de Euclid incluyen el lenguaje de programación Mesa , el lenguaje de programación Concurrent Euclid y el lenguaje de programación Turing .
enlaces externos
- BW Lampson, JJ Horning, RL London, JG Mitchell y GJ Popek 1977. Informe sobre el lenguaje de programación Euclid. SIGPLAN Notices 12, 2 (febrero de 1977), 1-79.
- RC Holt, DB Wortman, JR Cordy y DR Crowe 1978. The Euclid Language: a progress report. En Actas de la Conferencia Anual de 1978 (Washington, DC, Estados Unidos, 4 al 6 de diciembre de 1978), 111-115.
- DB Wortman y JR Cordy 1981. Experiencias tempranas con Euclid. En Proc. Quinta Conferencia Internacional sobre Ingeniería de Software (San Diego, California, Estados Unidos, 9 al 12 de marzo de 1981), 27-32.