Login | Register

Semantic analysis and SIPL AST translator generation in the GIPSY


Semantic analysis and SIPL AST translator generation in the GIPSY

Wu, Ai Hua (2002) Semantic analysis and SIPL AST translator generation in the GIPSY. Masters thesis, Concordia University.



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.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Wu, Ai Hua
Pagination:xi, 94 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:Theses (M.Comp.Sc.)
Program:Computer Science and Software Engineering
Thesis Supervisor(s):Paquet, Joey
ID Code:2018
Deposited By: Concordia University Libraries
Deposited On:27 Aug 2009 17:24
Last Modified:08 Dec 2010 15:24
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page


Downloads per month over past year

Back to top Back to top