Similar to ラムダ計算
アルティン・ウェダーバーンの定理
Wedderburn–Artin theorem
アルティン加群
Artinian module
仕様及び記述言語
Specification and Description Language
CICS
CICS
Guarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)
Planner
Planner (programming language)PlusCal
PlusCalTLA+
TLA+
VDM
Vienna Development Method
概念実証
Proof of concept
グレブナー基底
Gröbner basis
形式仕様記述
Formal specification
形式等価判定
Formal equivalence checking
自動定理証明
Automated theorem proving
充足可能性問題
Boolean satisfiability problem
仕様記述言語
Specification language
詳細化
Refinement (computing)
SPINモデルチェッカ
SPIN model checker
静的コード解析
Static program analysis
抽象解釈
Abstract interpretation
ビリヤードボール・コンピュータ
Billiard-ball computer
不変条件
Invariant (computer science)
プログラミングの統一理論
Unifying Theories of Programming
プロセス計算
Process calculus
ペトリネット
Petri net
ホーア論理
Hoare logic
文字列書き換え系
Semi-Thue system