一种编程语言，需要小知识的计算机上的程序将运行，可以翻译成几种不同的机器语言，允许象征性命名的操作和地址，提供了功能旨在提供便利的数据结构和程序逻辑表达式和通常会导致程序的每个语句的几个机器指令。示例包括 Ada、 COBOL、 FORTRAN ALGOL，帕斯卡尔。