高階程式語言

高階程式語言在很大程度上抽象了計算機操作的細節。它旨在易於人類理解，因此必須透過其他軟體進行翻譯。與低階程式語言不同，它可以利用自然語言元素，或者可以自動化（甚至完全隱藏）計算系統的顯著區域，從而使開發過程相對於低階語言更簡單、更易於理解。提供的抽象程度決定了程式語言的“高階”程度。

一種可以自動翻譯成機器程式碼但更接近人類邏輯的語言的想法，在 20 世紀 50 年代被引入計算機科學，特別是得益於 John Backus (IBM) 的工作，他開創了第一個被廣泛傳播的高階語言：Fortran。Backus 因這項創新獲得了圖靈獎。