A-0 System

O Sistema A-0 foi uma linguagem de programação desenvolvida no início dos anos 50 por Corrado Böhm e Giuseppe Jacopini. Foi a primeira linguagem a ser baseada nos princípios formais da lógica algébrica, tornando-a a primeira linguagem verdadeiramente formal. O Sistema A-0 foi também a primeira linguagem a utilizar o conceito de sub-rotinas, que mais tarde se tornaria uma parte importante de todas as linguagens de programação.