Logic and Semantics of Programming Languages 25