プログラムが実行するコンピューターの知識はほとんど必要とするプログラミング言語は、いくつかの異なるマシン言語に翻訳することができます、操作やアドレスのシンボリック名前データ構造とプログラム ロジックの表現を促進するために設計された機能を提供します、通常プログラムの各ステートメントに対して複数のマシン命令の結果ができます。例の Ada、COBOL、FORTRAN、アルゴル、パスカル。