**Program Algebra**is an algebraic framework for

**sequential programming**. It is based on the view that a program is an instruction sequence. Its purpose is to contribute to a better understanding of sequential programming. A very simple program notation is used as basis for development of other program notations.

**Program Algebra**as presented here is used in both

**research and education**. A Toolset is available freely for educational purposes.

- About Program Algebra
- Courseware (in Dutch)
- Contact
- Latest news (Fri Jun 29 16:48:00 2018)