The Formal Programming Language Runtime