编程语言理论（英語：Programming language theory）是计算机科学的一个分支，研究编程语言的设计、实现、分析、描述和分类及其各自的特点。它属于计算机科学，既依赖又影响着数学、软件工程、语言学，甚至认知科学。 从某种角度来看，编程语言理论的历史，甚至比编程语言...

語言，而且每年仍有新的编程語言誕生。很多编程語言需要用指令方式說明計算的程序，而有些编程語言則屬於宣告式程式設計，說明需要的結果，而不說明如何計算。 编程语言的描述一般可以分為語法（英语：Syntax (programming languages)）及語義。語法是說明編程語言...

計算複雜性理論 - 計算課題上的基本界限(特別是時間及儲存空間)。 量子電腦理論 - 演算法 - 用來解決許多問題的序列及並列的計算程序。 資料結構 - 資料的組織及運作。 編譯理論 - 以自動機理論為基礎設計編譯器的理論。 程式語言 - 程式語言的分類學討論不同的編程范型像是物件導向程式設計之類的並探討其優缺點。...

解释型语言（英語：Interpreted language）是一種编程语言类型。這種類型的程式語言，會將程式碼一句一句直接執行，不需要像編譯語言（Compiled language）一樣，經過編譯器先行編譯為機器碼，之後再執行。這種程式語言需要利用直譯器，在執行期，動態將程式...

PLT可能是指： 血小板，血液的成分之一。 程式語言理論，電腦科學的一個分支。 PLT (男子團體)...

therapy）、催眠療法、認知科學等理論。 學術界普遍認為，神經語言程式學的有效性在科學上無法被證實，並且不符合科學原則。科學文獻回顧表明，神經語言城市學的理論根據是基於對大腦內部運作的隱喻，這些隱喻與當前的神經學理論不一致，此外神經語言規劃還包含了許多事實錯誤。即使有支持其成效的研究...

結構化程式理論也稱為伯姆-贾可皮尼理論或Böhm-Jacopini理論，是一項程式語言研究的結果，說明只要一種程式語言可以依三個方式組合其子程式及調整控制流程，每個可计算函数都可以用此種程式語言來表示。三個調整控制流程的方式為 執行一個子程式，然後執行下一個（顺序） 依照布尔變數的結果，決定執行二段子程式中的一段（選擇）...

算子或運算符（operator）在電腦編程上是指一種程式語言裡面行為類似函數的東西，他們可以進行諸如「加減」（+和-）或者「比較兩個數的大小」（<和>）以及逻辑运算等運算。編程语言通常内置一組运算符，某些情况下用户可以為现有的运算符添加新的含义，甚至定义全新的运算符。 在程式語言的設計（程式語言理論...

克勞德·香農（Claude Shannon），資訊理論創始人。 赫伯特·西蒙（Herbert A. Simon） 小蓋伊·史提爾（Guy Steele Jr.），程式語言理論家，Scheme與Emacs共同作者之一。 蓋伊·史提爾二世（Gerald Jay Sussman），程式語言理論家，Scheme共同作者之一，自由軟體基金會創始人之一。...

理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；有些强调特定结果的计算，比如计算机图形学；而有些是探討计算问题的性质，比如计算复杂性理论；还有一些领域專注于怎样实现计算，比如程式語言理論...

編譯語言（英語：Compiled language）是一種程式語言类型，通过編譯器來實作。它不像直譯語言一樣，由直譯器將程式碼一句一句執行，而是以編譯器，先將程式碼編譯為機器碼，再加以執行。理論上，任何程式語言都可以是編譯式，或直譯式的。它們之間的區別，僅與程式的應用有關。 一般而言，用編譯語言...

在程式語言理論中，惰性求值（英語：Lazy Evaluation），又譯為惰性计算、懒惰求值，也稱為傳需求調用（call-by-need），是计算机编程中的一个概念，目的是要最小化计算机要做的工作。惰性计算的最重要的好处是它可以在空间复杂度上得到极大的优化，从而可以轻易构造一个无限大的数据类型。...

程式語言。早期的結構化程式語言包括ALGOL、 Pascal、PL/I及Ada，不過後來大部份的程序式程式語言都鼓勵使用結構化程式設計，有時也會特意的省去一些特性（例如不支援goto指令）使得非結構化的程式設計更加困難。 結構化程式理論可做為结构化编程的理論基礎，結構化程式理論...

modeling）的興起，才開始廣為使用。簡單的領域特定語言（特別是只有單一應用程式使用的領域特定語言），有時也會稱為迷你語言。 領域特定語言和通用語言之間沒有明確的界線，因為可能某计算机语言原來有一些適用於特定領域的特徵，但也可以應用在更通用的範圍，相反的，也有可能某计算机语言理論...

1995年间，参与了荷兰数学和计算机科学研究学会多个项目的工作。1989年的聖誕節期間，他決心開發一個新的腳本解釋程式，作為ABC語言的繼承者，并且用它替代Unix shell和C语言来进行系统管理，担负与Amoeba操作系统（英语：Amoeba (operating...

理论可以从这些实验来推断/推导。 常见的运算模型有天气预报模型、地球模拟器模型、飛行模擬器模型、分子蛋白质折叠模型和神经网络模型。 个体为本模型 人工神经网络 计算语言学 决策场理论 动力系统认知模型 膜运算（英语：Membrane computing） 本体 (信息科学) 程式語言理論 代理模型...

語言專家（熟悉有關研究項目所要處理的語言的人），以至研究人工智能、認知心理學、數學、邏輯學等的專家。 計算語言學具有理論和應用的成分。理論計算語言學聚焦於理論語言學與認知科學；應用計算語言學聚焦於模擬人類使用語言的實用成果。 计算语言...

決定了高效率的演算法的設計，和估計其計算複雜性。 這個概念與程式語言理論中所使用的抽象資料型別非常接近，大致上抽象資料結構和抽象資料型別的名稱，和具體的資料結構的名稱一致。 一部分抽象資料型別在程式設計中相當普遍且實用，所以在某些程式語言中，成為原生型別、或加進標準函式庫中。例如，Perl...

專家系統，程式從一個巨大的模型中產生一個建議或答案。 自動化定理證明，程式產生一些新定理來擴充現有的理論。 最常用的邏輯編程語言是Prolog，另外有較適用於大型方案的Mercury。詳盡的清單可見於Category:邏輯編程語言。 早在二十世纪七十年代，罗伯特·科瓦尔斯基等人提出了逻辑可以作为程序设计语言...

D語言是一种程式語言，具备多範型，例如物件導向、指令式。由沃尔特·布莱特和安德烈·亞歷山德雷斯庫所開發，起源自C++，深受C++的影響，然而其不是C++的变种，而是重新设计来自C++的部分特性，并受到其它程式語言觀念的影響，如Java、C♯以及Eiffel。2007年1月2日釋出1.0穩定版本。2007年1月17日釋出2...

程式語言中，型別標記使用辨識聯合型別表示。 動態型別經常出現於腳本語言和RAD語言中。動態型別在解释型语言中極為普遍，編譯語言則偏好無須執行時期標記的靜態型別。對於型別和隱式型別語言較完整的列表參見型別和隱式型別語言。 術語推斷型別（鸭子类型，duck typing）指的是動態型別在語言中的應用方式，它會「推斷」一個數值的型別。...

遞迴式方法可以被用於解決很多的電腦科學問題，因此它是電腦科學中十分重要的一個概念。 絕大多數程式語言支援函式的自呼叫，在這些語言中函式可以通過呼叫自身來進行遞迴。計算理論可以證明遞迴的作用可以完全取代迴圈，因此有很多在函數程式語言（如Scheme）中用递归来取代循环的例子。 電腦科學家尼克勞斯·維爾特如此描述遞迴：...

在程式設計的型別系統中，数据类型（英語：Data type），又稱資料型態、資料型別，是用來約束数据的解釋。在程式語言中，常見的数据类型包括原始类型（如：整數、浮點數或字元）、多元組、記錄單元、代數資料類型、抽象数据类型、參考型別、类以及函式型別。資料類型描述了數值的表示法、解釋和結構，並以演算法操...

在Java語言中，以下的程式是正確的： System.out.println("Hello World"); 以下的程式不正確： System.out.println(Hello World); 第二個程式理論上要顯示的是叫作Hello World的變數，而不是Hello World這個字，且Java語言...

一直到1980年代，多數自然語言處理系統是以一套複雜、人工訂定的規則為基礎。不過從1980年代末期開始，語言處理引進了機器學習的演算法，NLP產生革新。成因有兩個：運算能力穩定增加（參見摩爾定律）；以及喬姆斯基語言學理論漸漸喪失主導（例如轉換-生成文法）。該理論的架構不傾向於語料庫——機器學習處理語言...

C++是一种被广泛使用的计算机程序设计语言。它是一种通用程式設計語言，支援多重编程范式，例如過程化程序設計、面向对象程序設計、泛型程式設計和函数式程序設計等。 比雅尼·斯特勞斯特魯普博士在贝尔实验室工作期间在20世紀80年代發明並實現了C++。起初，這種語言被稱作“C with Classes”（“包含‘類’的C語言”），作為C語言...

在電腦科學中，一部分程式語言具備型別安全（中國大陸用語習慣稱型別為类型；稱資料為数据）的性質。這個術語在不同的社群中有不同的定義，特別是正規的型別理論上的定義遠遠強過大多數的程式員的理解，但對於使用型別系統的認知，皆旨在避免必然的錯誤形式，和不良的程式行為（稱為型別錯誤）。 类型错误（type...

在哲学中，心智计算理论，又名心靈計算理論（ 英語：Computational theory of mind，CTM ）指的是一系列關於「人类心智是一个訊息处理系统」的观点。該理論認為，认知和意识同為一种计算形式。沃倫·麥卡洛克和沃尔特·皮茨（1943）為最早提出神經活動是計算性的人。他们认为神经計算性可以解释认知...

理论。物件導向程式特徵被條列如下 物件導向程式設計通常共享高階編程語言的低階功能。可用於建構一個程序的基本工具包括： 變數：能儲存一些內建型態的資訊如整數與字元，也有些是資料結構像是字串、串列與雜湊表等包含內建或複合的變數如指標。 程序：也稱為函式、方法或例程，是指輸入資料產生輸出結果，現代語言還包含結構化編程結構如程式迴圈與條件。...

Control Language）。一个脚本通常是解释运行而非编译。脚本語言通常都有簡單、易學、易用的特性，目的就是希望能讓程式設計師快速完成程式的編寫工作。而巨集語言則可視為脚本語言的分支，兩者也有實質上的相同之處。 虽然许多脚本语言都超越了计算机简单任务自动化的领域，比如JavaScript、Per...

語言。它建立在邏輯學的理論基礎之上，最初被運用於自然語言等研究領域。現在它已廣泛的應用在人工智慧的研究中，它可以用來建造專家系統、自然語言理解、智慧知識庫等，在早期的機器智慧研究領域，Prolog曾經是主要的開發工具。而Prolog語言中最重要的功能即是：回溯，這點與其他一般的程式語言有著明顯的不同。...