x = new; L0; y = new; y.+a; y.a = x; x = y; ##L0
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.