Login | Register

Design and implementation of context calculus in the gipsy

Title:

Design and implementation of context calculus in the gipsy

Tong, Xin (2008) Design and implementation of context calculus in the gipsy. Masters thesis, Concordia University.

[thumbnail of MR40955.pdf]
Preview
Text (application/pdf)
MR40955.pdf - Accepted Version
3MB

Abstract

The Lucid programming language is a family of intensional programming languages supported by the General Intensional Programming System (GIPSY). Among all the Lucid variants, the notion of context is a core concept. After Lucx, a Lucid variant introduced by Wan in her PhD thesis, contexts can be declared explicitly and manipulated directly as first-class values. Lucx also enables a set of context calculus operators performed on contexts. Such new concepts have greatly contributed to the evolution of Lucid. Upon these theoretical foundations, this thesis presents the integration into the GIPSY of Lucx's context and context calculus as defined in Wan's PhD thesis. We first provide the construction of Lucx's compiler, including building the parser and extending the existing semantic analyzer. Then we present how the concept of context has been abstracted into a new type variant of the GIPSY type system. After that, we specify how the context calculus operators have been implemented within the context type. And finally, we demonstrate our testing strategies on each component of Lucx to justify all the implementation efforts.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Tong, Xin
Pagination:viii, 101 leaves ; 29 cm.
Institution:Concordia University
Degree Name:M. Comp. Sc.
Program:Computer Science and Software Engineering
Date:2008
Thesis Supervisor(s):Paquet, Joey
Identification Number:LE 3 C66C67M 2008 T66
ID Code:975704
Deposited By: Concordia University Library
Deposited On:22 Jan 2013 16:13
Last Modified:13 Jul 2020 20:08
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

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top