目录
C標準函式庫
C 標準函式庫（C standard library，缩写：libc）是在C語言程式設計中，所有符合標準的头文件（head file）的集合，以及常用的函式庫實作程序（如 I/O 輸入輸出和字串控制）。不像 COBOL、Fortran 和 PL/I等程式語言，在 C 語言的工作任務裡不會包含嵌入的關鍵字，所以幾乎所有的 C 語言程式都是由標準函式庫的函式來建立的。.
海森堡bug
在程序设计术语中，海森堡bug（heisenbug）是指在尝试研究它时似乎会消失或者改变行为的bug（程序错误）。该词汇是物理学家维尔纳·海森堡名字的双关语，他最先断言了量子力学的观察者效应——观察系统的行为不可避免地将改变其状态。电子学中的传统用语则是，指连接一个到设备将改变其行为。 类似的词语有玻尔bug（bohrbug）、曼德博bug（mandelbug）和薛定谔bug（schrödinbug），它们偶尔被用于指代其他类型的非寻常软件缺陷，但通常以开玩笑的心态使用。.
斷言 (程式)
在程式設計中，斷言（assertion）是一種放在程式中的一階邏輯（如一個結果為真或是假的邏輯判斷式），目的是為了標示與驗證程式開發者預期的結果－當程式執行到斷言的位置時，對應的斷言應該為真。若斷言不為真時，程式會中止執行，並給出錯誤訊息。 例如，以下的程式包括二個斷言： x.
亦称为 Cassert。