Category:形式手法
チューリングマシン
Turing machine▲1 trends
充足可能性問題
Boolean satisfiability problemラムダ計算
Lambda calculus
論理プログラミング
Logic programming
ホーア論理
Hoare logic
形式手法
Formal methods
ユニフィケーション
Unification (computer science)
項書き換え
Rewriting/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
ビリヤードボール・コンピュータ
Billiard-ball computer
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
不動点コンビネータ
Fixed-point combinator
Planner
Planner (programming language)
合流性
Confluence (abstract rewriting)
詳細化
Refinement (computing)
抽象解釈
Abstract interpretation
不変条件
Invariant (computer science)
形式的検証
Formal verification
導出原理
Resolution (logic)
形式等価判定
Formal equivalence checking文字列書き換え系
Semi-Thue system構成規則
Formation rule
PlusCal
PlusCalプログラミングの統一理論
Unifying Theories of Programming
仕様及び記述言語
Specification and Description LanguageCommunicating Sequential Processes
Communicating sequential processesGuarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)