#programming language semantics #code meaning #formal methods #program execution #interpreter #compiler #code behavior