The Design And Realization Of Programming Model Language

It is necessary for explaining the concept of programming to design a small and suitable model programming language family with a clear syntactic and semantic definition. In particular the programming language develops rapidly these years, and the function and structure of programming language changes in essential. So we should construct an appropriate model language, which is much helpful to understand the every period of the development of programming language.A good model language should be simple enough to exclude unimportant details so as to concentrate on the essentials. On the other hand they should be expressive enough to exhibit the most ability of real programming language. It is not easy to achieve a satisfactory balance. Most model languages in the textbooks of monographs on programming semantics are so tiny languages, which cannot help to clarify the traits of real programming languages, for they failed to be used to write ordinary programs. On the other hand, real programming languages are not suitable to show the essence of the programming based on high-level programming languages, for they are too complicated.This paper presents a programming model language family to describe the essence of the imperative programming and the Object-Oriented programming. These models are simple enough to discuss their semantics clearly and strictly, and it is complicated enough to write some small practical programs conveniently as well. Especially we design the simple and useful object-oriented model language, which includes the most primary characters and new ideas of the object-oriented programming language.On the base of model languages, a relevant interpretative program designed for this model language family. So these models not only have theoretical meaning, but also have correct realization by Java language. It deepens the understanding of the theory of complier and uses the concepts in practical program designing. There are lacks of the introduction of object-oriented language' s executingtechniques directly by interpreting in some traditional computer books, so this paper not only focus on theory study, but adds the application of object-oriented mechanism and executable semantic description.