Chapter 25: Mathematical approaches to program development
Abstract
It is possible to treat programs as mathematical objects and, for instance, prove their correctness. This is a big topic, and this is not the kind of book to do full justice to it. Instead, we offer two short sections.
Fields of Study & Subjects
Logic
programming
and type systems
Teaching and Learning Programming
Formal Methods in Verification
Publication details
- Journal / source
- Society for Industrial and Applied Mathematics eBooks
- Pages
- 243–251
- Publication date
- 19 January 2026
- Language
- EN
- Document type
- Book chapter