Similar to プログラミングの統一理論

Semantics (programming languages)

Specification and Description Language

B-Method

Communicating sequential processes

DPLL algorithm

Formal verification

Refinement (computing)

Static program analysis

Z notation

Hoare logic

No Silver Bullet

Software Engineering Body of Knowledge

Software design pattern

The Mythical Man-Month

Code Reading

Concrete Mathematics

SemEval

Axiomatic semantics

Operational semantics

Denotational semantics

Formal methods

CICS

Guarded Command Language

Lustre (programming language)

Planner (programming language)

PlusCal

TLA+