The formal semantics of programing language In giving a formal semantics to a programming language we are concerned with building a mathematical model. Its purpose is to serve as a basis for und