"Program semantics" is a term used in computer science that refers to the meaning of computer programs. However, there are several synonyms for this term depending on the context. One alternative is "code semantics," which is used to describe the meaning of code. Another synonym for program semantics is "language semantics," which specifies the meaning of a programming language. "Computational semantics" is another alternative that refers to the study of how programs and machines can understand natural language. "Operational semantics" is a more specific term that describes how a program behaves when executed in a particular operational environment. Lastly, "formal semantics" refers to the analysis of the meaning of computer programs through the use of mathematical models and logic.