If I am correct, programming language theory studies
- syntax and semantics of programming languages, and
- design and implementation of programming languages (e.g. compiler, ...)
Does programming in programming languages, i.e. creating programs in programming languages, belong to programming language theory?
Does program analysis (correctness and performance of programs) belong to programming language theory? My thought is:
semantics of a programming language is used for verifying correctness of programs in the language, so it seems like the answer is yes, although I am not sure if analysis of programs' performance belongs to programming language theory.
program analysis also seems to belong to software engineering, which makes me feel perhaps it doesn't belong to programming language theory.