Programming Languages: Implementations, Logics, and Programs