程式語言有：C語言、C++、APT、GPSS、JAVA、ADA、JOSS、Python、FLOW-MATIC、COMIT、ALGOL60、SIMULA、FORTRAN、IPL-V、JOVIAL、COBOL、O語言、APL/360、FORMAC、PROLOG、perl、PASCAL、ruby等。
程式語言分為：
1、命令式語言
這種語言的語義基礎是模擬“數據存儲/數據操作”的圖靈機可計算模型，十分符合現代計算機體系結構的自然實現方式。其中產生操作的主要途徑是依賴語句或命令產生的副作用。現代流行的大多數語言都是這一類型，比如Fortran、Pascal、C++obol、C、C++、Basic、Ada、Java、C#等，各種腳本語言也被看作是此種類型。
2、函數式語言
這種語言的語義基礎是基於數學函數概念的值映射的λ算子可計算模型。這種語言非常適合於進行人工智能等工作的計算。典型的函數式語言如Lisp、Haskell、ML、Scheme、F#等。
3、邏輯式語言
這種語言的語義基礎是基於一組已知規則的形式邏輯系統。這種語言主要用在專家系統的實現中。最著名的邏輯式語言是Prolog。
4、面嚮對象語言
現代語言中的大多數都提供面向對象的支持，但有些語言是直接建立在面向對象基本模型上的，語言的語法形式的語義就是基本對象操作。主要的純面嚮對象語言是Smalltalk。
