C语言
C语言具有高效、灵活、功能丰富、表达力强和較高的可移植性等特点，在程式設計中备受青睐，成为最近25年使用最为广泛的编程语言。目前，C语言編譯器普遍存在於各種不同的操作系统中，例如Microsoft Windows、macOS、Linux、Unix等。C語言的設計影響了众多後來的程式語言，例如C++、Objective-C、Java、C#等。
未定义行为
一些编程语言中，某些情况下存在未定义行为，以C和C++最为著名。在这些语言的标准中，规定某些操作的语义是"未定义的"，典型的例子就是程序错误的情况，比如越界访问数组元素。标准允许语言的具体实现做这样的假设：只要是符合标准的程序代码，就不会出现任何类似的行为。具体到 C/C++ 中，编译器可以选择性地给出相应的诊断信息，但没有对此的强制要求：针对未定义行为，语言实现作出任何反应都是正确的，类似于数字逻辑中的。虽然编译器实现可能会针对未定义行为给出诊断信息，但保证编写的代码中不引发未定义行为是程序员自己的责任。这种假设的成立，通常可以让编译器对代码作出更多优化，同时也便于做更多的编译期检查和静态程序分析。