A Theory of Programs
Describing programs, programming languages and programming in a simple mathematical framework.
TU Wien, Campus Theresianumgasse
1040 Vienna, Theresianumgasse 27
There are many theories of programming; this one seeks to describe programs, programming languages and programming in a simple mathematical framework, based on a small set of high-school-level concepts of elementary set theory (sets and binary relations). It uses only three starting operations (union, restriction and composition) and covers the core concepts of programming as well as concurrency, non-determinism, control structures, correctness. From the theory’s definitions it is possible to deduce, as theorems, the axioms of classic theories such as those of Hoare and Kahn.
Bertrand Meyer is an academic, author, project manager and consultant in software engineering.
- Bertrand Meyer, ETH Zürich and Innopolis University
Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!