A Paradigm for Program Semantics