PGA - ProGram Algebra
example of program algebra with molecular dynamics
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.