| Formal semantics is an important subject in computer science. It is the theoretical foundation of program language design. Using mathematics as tool, it utilizes symbols and formulas to define and interpret the semantics of program language accurately. It is essential to increase practices and provide a visualizing tool in such course. The intention is to help student comprehend concepts and methods, enhance theoretic and practical ability.This system is designed for students to comprehend formal semantics of programming language. We defined a series of procedural languages in a difficulty-increasing way, including expressions, statements, input and output statements, variable declarations, block statements, procedure and function, etc., used the abstract machine to define the operation semantics of procedural programming language. we presented their abstract syntax and formal definitions, design their abstract and demonstrate the processing of this abstract machine in a visualizing way, and finally Visual implemented for the Operation Sementics Oriented to the Procedure Languages.This system could be applied to the teaching and network teaching of formal semantics as a teaching assistant tool, and it can support teachers in the classroom teaching and provide a good supporting environment for students in self-studying. Thereby, it sets up a bridge leading to the mastery of abstract thinking methods for students with the visual graphical interface. |
PDF Full Text Request