一種程式設計語言，需要小知識的電腦上的程式將運行，可以翻譯成幾種不同的機器語言，允許象徵性命名的操作和位址，提供了功能旨在提供便利的資料結構和程式邏輯，表達和通常會導致幾個機器指令的每個程式語句。示例包括 Ada、 COBOL、 FORTRAN 和 ALGOL，巴斯卡。