2. UML/OCL modeling of programming language properties

A programming language is formally defined by a set of syntactic and semantic properties. The aim of these properties is to provide methods for reasoning about programs, seeking to prove that they verify all the properties that may be required of them. The semantics of a programming language is therefore based on a definition of formal properties describing the syntactic, operational and axiomatic aspects of any program in the language:

• a programming language is defined in advance by means of a grammar describing the words of the language and the structure of the various syntactic constructs to be respected by any program in the language, which is then considered as a set of well-formed formulas ;

• a programming language is then defined using logical relations that precisely describe the expected behavior of...