Ada (programming language)
Videos
Ada is a structured, statically typed, imperative, and object-oriented high-level programming language, inspired by Pascal and other languages. It has built-in language support for design by contract,
Watercolour painting of Ada Lovelace
Passing the ACVC validation tests was an arduous task for Ada compiler vendors; here the certificate awarded by the Ada Joint Program Office and an award given by vendor management to its compiler staff
Niklaus Wirth, Ur GU
Jean Ichbiah
Videos
Jean David Ichbiah was a French and American computer scientist. From 1977 to 1983, he was the chief designer of Ada, a general-purpose, strongly typed programming language with certified validated co
Jean Ichbiah 1989-90, picture for ALSYS
