例えば、エイダ®、COBOL、FORTRAN、Pascalの、主のために設計された、との構文的指向、問題の特定のクラスを、それが特定のコンピュータやコンピュータクラスの構造の本質的に独立しているコンピュータのプログラミング言語。シノニム、上位語。