Category:形式手法

Hoare logic

Semantics (computer science)

Gröbner basis

Fixed-point combinator

Turing machine

Logic programming

Proof of concept