Semantic analysis and SIPL AST translator generation in the GIPSY

Abstract

The GIPSY system is the implementation of Intensional Programming, which is a new programming paradigm based on intensional logic. Semantic Analysis is the intermediate between the parsers of the system and the run-time system. The objective of this work is to generate an intermediate representation to be fed to the eduction engine. Because of the specific character of the Lucid language, we consider the elimination of the functions in the original in which includes each identifier with its attributes. At the same time, we can build a bridge between SIPL and GIPL. A SIPL AST Translator Generation is developed, which can make semantic analysis only focus on GIPL, and will enable an easy implementation of other variations of the Lucid language or other languages of intensional nature. Finally, we successfully integrate the semantic analyzer, SIPL and GIPL parsers, SIPL AST translator generation in the overall GIPSY system.