An Introduction to Progsbase

This an introduction to a new programming theory and technology called progsbase. This technology allows writing long-lived programs that can be widely reused.