Topic
lenguaje de programación imperativo para escribir programas verificables
Be the first in the room — members see you arrive.
Join the roomEuclid es un lenguaje de programación imperativo para escribir programas verificables. Fue diseñado a mediados de la década de 1970 por Butler Lampson y James G. Mitchell en el laboratorio Xerox PARC en colaboración con Jim Horning en la Universidad de Toronto, Ralph L. London en USC ISI y Gerald J. Popek en UCLA. La implementación fue liderada por Ric Holt en la Universidad de Toronto y James Cordy fue el programador principal de 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 tuvo un presupuesto de 2 millones de dólares durante 2 años y fue encargado por la Agencia de Proyectos de Investigación Avanzada de Defensa del Departamento de Defensa de EE. UU. y el Departamento de Defensa Nacional de Canadá. Se utilizó durante unos años en I. P. Sharp Associates, MITRE Corporation, SRI International y varios otros institutos internacionales para investigación en programación de sistemas y sistemas de software seguros.
Not who you're looking for? Others named Euclid: ancient Greek mathematician (fl. 300 BC) · ESA space telescope aimed at mapping the distribution of dar · unincorporated community in Polk County, Minnesota · unincorporated community in Butler County, Pennsylvania, Uni
“Πρῶτος ἀριθμός ἐστιν ὁ μονάδι μόνῃ μετρούμενος.”
“Non est regia [inquit Euclides] ad Geometriam via.”
“Δός αὐτῷ τριώβολον, ἐπειδὴ δεῖ αὐτῷ ἐξ ὧν μανθάνει κερδαίνειν.”
Quotes via Wikiquote (CC BY-SA), each with its original source.
