Similar to 不動点コンビネータ
静的コード解析
Static program analysis
Z言語
Z notation
抽象解釈
Abstract interpretation
ビリヤードボール・コンピュータ
Billiard-ball computer
不変条件
Invariant (computer science)
プログラミングの統一理論
Unifying Theories of Programming
プロセス計算
Process calculus
ペトリネット
Petri net
ホーア論理
Hoare logic
モンデックスカード
Mondex
有限オートマトン
Finite-state machine
ユニフィケーション
Unification (computer science)
ループ不変条件
Loop invariantセーフティクリティカルシステム
Safety-critical system
木構造 (データ構造)
Tree (abstract data type)再翻訳
Retranslation
超限帰納法
Transfinite induction
ドロステ効果
Droste effect
左再帰
Left recursion
末尾再帰
Tail call
湖の島・島の湖の一覧
Recursive islands and lakes
無限ループ
Infinite loop
無名再帰
Anonymous recursion
不動点
Fixed point (mathematics)
完全順列
Derangement
共有知識
Common knowledge (logic)
毛玉の定理
Hairy ball theorem
合同ゼータ関数
Local zeta function
