抽象度が特に高いプログラミング言語という意味で代表的な言語としては、c言語やjavaがある。