Programmiersprache auf hoher Ebene
Eine Programmiersprache auf hoher Ebene weist eine erhebliche Abstraktion von den Details der Computeroperationen auf. Sie ist darauf ausgelegt, von Menschen leicht verstanden zu werden, und muss aus diesem Grund von einer anderen Software übersetzt werden. Im Gegensatz zu Programmiersprachen auf niedriger Ebene können sie natürliche Sprachelemente verwenden oder bedeutende Bereiche von Computersystemen automatisieren (oder sogar vollständig verbergen), was den Entwicklungsprozess einfacher und verständlicher macht im Vergleich zu einer Sprache auf niedrigerer Ebene. Der Grad der Abstraktion bestimmt, wie "hochstufig" eine Programmiersprache ist.
Die Idee einer Sprache, die automatisch in Maschinencode übersetzt werden kann, jedoch der menschlichen Logik näherkommt, wurde in den 1950er Jahren in der Informatik eingeführt, insbesondere dank der Arbeit von John Backus (IBM), dem das erste weit verbreitete Hochsprachniveau zu verdanken ist: Fortran. Für diese Innovation erhielt Backus den Turing-Preis.