Högnivåspråk är en typ av
programspråk. Det som kännetecknar ett högnivåspråk är att instruktionerna ligger på en relativt hög abstraktionsnivå; högnivåspråk är konstruerade att till sitt uttryck så långt som möjligt motsvara det sätt på vilket en programmeraren ser på det problemet som skall lösas, inte på det sätt datorns
maskinvara skall hantera problemet. Högnivåspråk används dels som benämning på programspråk andra än
maskinspråk och
assembler, dels som benämning på programspråk med en relativt hög abstraktionsnivå, i detta fall till skillnad från
maskinnära lågnivåspråk som
C.
