Before revision: Programming language theory Formal semantics – rigorous mathematical study of the meaning of programs.
After revision: - Theory of programming language designProgramming language theory Formal semantics – rigorous mathematical study of the meaning of programs.