A-0 System

Systém A-0 bol programovací jazyk, ktorý začiatkom 50. rokov 20. storočia vyvinuli Corrado Böhm a Giuseppe Jacopini. Bol to prvý jazyk založený na formálnych princípoch algebraickej logiky, čím sa stal prvým skutočne formálnym jazykom. Systém A-0 bol tiež prvým jazykom, ktorý používal koncept podprogramov, ktorý sa neskôr stal dôležitou súčasťou všetkých programovacích jazykov.