A-0 System

Das A-0-System war eine Programmiersprache, die in den frühen 1950er Jahren von Corrado Böhm und Giuseppe Jacopini entwickelt wurde. Es war die erste Sprache, die auf den formalen Prinzipien der algebraischen Logik beruhte und damit die erste wirklich formale Sprache war. Das A-0-System war auch die erste Sprache, die das Konzept der Unterprogramme verwendete, das später ein wichtiger Bestandteil aller Programmiersprachen werden sollte.