A-0 System

Systém A-0 byl programovací jazyk, který na počátku 50. let 20. století vyvinuli Corrado Böhm a Giuseppe Jacopini. Byl to první jazyk založený na formálních principech algebraické logiky, což z něj činí první skutečně formální jazyk. Systém A-0 byl také prvním jazykem, který používal koncept podprogramů, jenž se později stal důležitou součástí všech programovacích jazyků.