A-0 System

El Sistema A-0 fue un lenguaje de programación desarrollado a principios de los años 50 por Corrado Böhm y Giuseppe Jacopini. Fue el primer lenguaje basado en los principios formales de la lógica algebraica, lo que lo convirtió en el primer lenguaje verdaderamente formal. El Sistema A-0 fue también el primer lenguaje en utilizar el concepto de subrutinas, que más tarde se convertiría en una parte importante de todos los lenguajes de programación.