A-0 System

Le système A-0 était un langage de programmation développé au début des années 1950 par Corrado Böhm et Giuseppe Jacopini. C'est le premier langage basé sur les principes formels de la logique algébrique, ce qui en fait le premier langage véritablement formel. Le système A-0 a également été le premier langage à utiliser le concept de sous-routines, qui deviendra plus tard un élément important de tous les langages de programmation.