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. 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.
The work on program algebra was initiated by Jan Bergstra.

Home Toolset Demonstrations Documentation Publications People

About Program Algebra
Courseware (in Dutch)
Contact
Latest news (April 20, 2007)
Why Program Algebra? and Why not Program Algebra? (by Jan Bergstra)