База — формальные доказательства:
- https://leanprover.github.io/logic_and_proof/
- https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/
База — математика:
- «Конкретная математика. Основание информатики» (Д. Кнут)
Корректность императивных программ — логика Хоара:
Производительность программ:
Статический анализ программ:
- Abstract interpretation
Представление данных:
- Reason Isomophically
- Реляционное моделирование
Представления программ:
- Continuation-Passing Style
- Static Single Assignment form
Моделирование систем:
Диаграммы:
- (Hierarchical) State Machines
- Sequence Diagrams
- Entity-Relation Diagrams