A Paradigm for Program Semantics | lit.salon