目录
17 关系: ALGOL 68，子程序，函數程式語言，副作用 (程式設計)，C语言，程序自修改，编程语言，表示式，For迴圈，Goto，LISP，While迴圈，控制流程，標識符，指定敍述，指令式編程，斷言 (程式)。
- 编程语言概念
- 陈述
ALGOL 68
ALGOL 68（源自ALGOrithmic Language 1968的縮寫），一種指令式程式語言，為ALGOL家族的成員，被認為是ALGOL 60的後繼者。它設計的目標，是提供更廣泛的應用，以及更嚴格的語法定義。.
子程序
在计算机科学中，子程式（Unterprogramm, Subroutine, procedure, function, routine, method, subprogram, callable unit），是一個大型程式中的某部份程式碼，由一个或多个语句块组成。它負責完成某項特定--，而且相較於其他程式碼，具備相對的獨立性。 一般会有输入参数并有--，提供对过程的封装和细节的隐藏。这些代码通常被整合为软件库。 函数在-zh:程序導向;zh-tw:程序導向;zh-cn:面向过程-的语言中已经出现。是结构（Struct）和-zh:類別;zh-tw:類別;zh-cn:类-（Class）的前身。本身就是对具有相关性语句的归类和对某过程的抽象。.
函數程式語言
函數式編程（functional programming）或称函数程序设计，又稱泛函編程，是一種編程典範，它將電腦運算視為數學上的函數計算，並且避免使用程序状态以及易变物件。函數程式語言最重要的基礎是λ演算（lambda calculus）。而且λ演算的函數可以接受函數當作輸入（引數）和輸出（傳出值）。 比起指令式編程，函數式編程更加強調程序执行的结果而非执行的过程，倡导利用若干简单的执行单元让计算结果不断渐进，逐层推导复杂的运算，而不是设计一个复杂的执行过程。.
副作用 (程式設計)
#重定向 函数副作用.
C语言
C是一种通用的程式語言，广泛用于系统软件与应用软件的开发。于1969年至1973年間，為了移植與開發UNIX作業系統，由丹尼斯·里奇與肯·汤普逊，以B语言为基础，在贝尔实验室設計、开发出來。 C语言具有高效、灵活、功能丰富、表达力强和較高的可移植性等特点，在程式設計中备受青睐，成为最近25年使用最为广泛的编程语言。目前，C语言編譯器普遍存在於各種不同的操作系统中，例如Microsoft Windows、macOS、Linux、Unix等。C語言的設計影響了众多後來的程式語言，例如C++、Objective-C、Java、C#等。 二十世纪八十年代，為了避免各開發廠商用的C語言語法產生差異，由美國國家標準局為C語言訂定了一套完整的國際標準語法，稱為ANSI C，作為C語言的標準。二十世纪八十年代至今的有关程式開發工具，一般都支持符合ANSI C的語法。.
程序自修改
程序自修改(Self-modifying code)是指程序在运行期间(Run time)修改自身指令。可能的用途有：病毒利用此方法逃避杀毒软件的查杀，反静态分析，反盗版 ，單晶片程序升级。.
编程语言
编程语言（programming language），是用来定义计算机程序的形式語言。它是一种被标准化的交流技巧，用来向计算机发出指令。一种计算机语言让程序员能够准确地定义计算机所需要使用的数据，并精确地定义在不同情况下所应当采取的行动。 最早的编程语言是在電腦發明之前產生的，當時是用來控制及自動演奏鋼琴的動作。在電腦領域已發明了上千不同的编程語言，而且每年仍有新的编程語言誕生。很多编程語言需要用指令方式說明計算的程序，而有些编程語言則屬於宣告式編程，說明需要的結果，而不說明如何計算。 编程语言的描述一般可以分為及語義。語法是說明編程語言中，哪些符號或文字的組合方式是正確的，語義則是對於編程的解釋。有些語言是用規格文件定義，例如C語言的規格文件也是ISO標準中一部份，2011年後的版本為ISO/IEC 9899:2011，而其他55語言（像Perl）有一份主要的文件，視為是。.
表示式
表示式亦称表達式、運算式或數學表達式，在數學領域中是一些符號依據上下文的規則，有限而定義良好的組合。數學符號可用於標定數字（常量）、變量、操作、函數、括號、標點符號和分組，幫助確定操作順序以及有其它考量的邏輯語法。.
For迴圈
在計算機科學中，for迴圈（for loop）是一種程式語言的迭代陳述，能夠讓程式碼反覆的執行。 它跟其他的迴圈，如while迴圈，最大的不同，是它擁有一個迴圈計數器，或是迴圈變數。這使得for迴圈能夠知道在迭代過程中的執行順序。.
Goto
GOTO是一条可以在许多计算机编程语言中找到的语句。它是英文单词go和to的组合。当执行这条语句的时候，它将控制流程无条件地转到另一条语句（也叫「跳转」）。跳转语句需要指明標記，在不同语言中，標記可以是标识符或行号。在机器码级别，goto是一种分支的形式。 在一些语言中，可以不用显示地使用goto关键字而实现同样的功能，例如break或continue关键字可以跟随一个标识符。SNOBOL语言支持一种语句的后缀形式，可以在本条语句执行完毕后实现无条件跳转。 GOTO语句被大部分高级语言支持，只有很少的高级语言不支持GOTO语句。例如，goto是一个Java语言的保留字，但是不允许使用。.
LISP
LISP是具有悠久歷史的計算機編程語言家族，有獨特和完全括號的前綴符號表示法。起源於西元1958年，是現今第二悠久而仍廣泛使用的高階編程語言。只有FORTRAN編程語言比它更早一年。LISP編程語族已經演變出許多種方言。現代最著名的通用編程語種是Common Lisp和Scheme。 LISP最初創建時受到阿隆佐·邱奇的lambda演算的影響，用來作為計算機程序實用的數學表達。因為是早期的高階編程語言之一，它很快成為人工智能研究中最受歡迎的編程語言。在計算機科學領域，LISP開創了許多先驅概念，包括：.
While迴圈
在程式語言中，while迴圈（while loop）是一種控制流程的陳述。利用一個返回结果为布林值（Boolean）的表达式作為循环條件，当这个表达式的返回值为“真”（true）时，则反覆執行循环体内的程式碼；若表达式的返回值为“假”（false），则不再执行循环体内的代码，继续执行循环体下面的代码。 因為while迴圈在區塊內代碼被執行之前，先檢查陳述是否成立，因此這種控制流程通常被稱為是一種前測試迴圈（pre-test loop）。相對而言do while迴圈，是在迴圈區塊執行結束之後，再去檢查陳述是否成立，被稱為是後測試迴圈。.
控制流程
控制流程（也稱為流程控制）是電腦運算領域的用語，意指在程式執行時，個別的指令（或是陳述、子程序）執行或求值的順序。不論是在宣告式程式語言或是函數程式語言中，都有類似的概念。 在宣告式的程式語言中，流程控制指令是指會改變程式執行順序的指令，可能是執行不同位置的指令，或是在二段（或多段）程式中選擇一個執行。 不同的程式語言所提供的流程控制指令也會隨之不同，但一般可以分為以下四種：.
標識符
標識符（英文對應詞：identifier，縮寫為ID），又稱為識別碼，是一個用來識別物件的名稱，識別對象可能是概念、具體可數的物體或是不可數的物質。標識符可能是字、編號、字母、符號，也可能是由上述元素所組成。 在编程语言中，标识符就是程序员自己规定的具有特定含义的词，比如类名称，属性名称，变量名等。.
指定敍述
在程序設計中，指定敍述（assignment statement），又譯指定指述，會將一個特定的值設定到某個特定的儲存位址去，這個位置被標記成一個特定的變數名稱。換句話說，這個敍述會複製一個值到某個特定變數中。在多數的指令式程式語言中，這種敍述是其中最基礎的結構。 指定敍述的通用表示方法通常是 x.
指令式編程
指令式編程（Imperative programming），是一種描述電腦所需作出的行為的編程典範。幾乎所有電腦的硬體工作都是指令式的；幾乎所有電腦的硬體都是設計來執行機器碼，使用指令式的風格來寫的。較高階的指令式編程語言使用變數和更複雜的語句，但仍依從相同的典範。菜譜和行動清單，雖非電腦程式，但與指令式編程有相似的風格：每步都是指令，有形的世界控制情況。因為指令式編程的基礎觀念，不但概念上比較熟悉，而且較容易具體表現於硬體，所以大部分的編程語言都是指令式的。 大部分的高级语言都支援四種基本的語句：.
斷言 (程式)
在程式設計中，斷言（assertion）是一種放在程式中的一階邏輯（如一個結果為真或是假的邏輯判斷式），目的是為了標示與驗證程式開發者預期的結果－當程式執行到斷言的位置時，對應的斷言應該為真。若斷言不為真時，程式會中止執行，並給出錯誤訊息。 例如，以下的程式包括二個斷言： x.