Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments

There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specificatio

This volume deals with problems of modern effective algorithms for the numerical solution of the most frequently occurring elliptic partial differential equatio