一種程式設計語言，需要在其將運行一個程式，電腦小知識可以翻譯成幾種不同的機器語言，允許符號命名的操作和位址，提供了功能旨在促進資料結構和程式邏輯的表達和通常在幾個機器指令為程式的每個語句的結果。示例包括 Ada，COBOL，FORTRAN 和 ALGOL，帕斯卡。