Title: Mathematical Foundation of Programming Semantics