A Short Introduction to Progsbase

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