Grant: Discovery Grants Program - Individual
Concordia University
$15,000.00
GIPSY - General intensional programing system
FY 2009-10
Summary
The GIPSY project aims at the practical investigation on the intensional programming language paradigm as implemented by the Lucid family of programming languages. Lucid variants range from the famous real-time programming language Lustre, to the C-Lucid hybrid programming system GLU. The Lucid family of programming languages being very eclectic and in constant evolution, the GIPSY project aims at providing a common platform for the compilation, execution and development of Lucid variants. With flexibility and generality in mind, our ongoing research program has allowed us to establish a framework approach to compiler and run-time system construction for the execution of programs written in all variants of Lucid. This approach provides a flexible infrastructure for the semi-automated generation of many components of the GIPSY. Using syntactic and semantic language description and translation rules, components like parsers and semantic analyzers and translators can be automatically generated for all Lucid variants. The compiled programs can be further analyzed to allow optimization of their distributed run-time behavior by implementing various solutions for task scheduling using our semantically sound demand-driven execution model.
We have recently designed a promising multi-tier approach to our run-time system, yielding more flexible and scalable solution to the execution of Lucid programs. We are also in the process of designing and implementing a novel object-oriented version of Lucid that shall make the language more in-line with current industrial trends. Additionally, independent research on intensional programming at the University of New-Brunswick and the University of New South Wales have proven to be compatible with our approach. Part of our future goals is to incorporate results from these teams into our theory and implementation. That shall lead to a unification of current research in the area, and establish the GIPSY as the norm in intensional programming research and development.
Program
Discovery Grants Program - Individual
Recipient
Location
Quebec, Canada
Recipient Type
Academia
Type
Grant
Source
NSERC's Awards Data
As published
Application id
227820-2009
Name nom
Paquet, Joey
Department département
Computer Science and Software Engineering
Organization id
70
Institution établissement
Concordia University
Province en
Québec
Province fr
Québec
Country en
CANADA
Country fr
CANADA
Fiscal year exercice financier
2009
Competition year année de concours
2009
Award amount
15000
Program id
RGPIN
Program nane en
Discovery Grants Program - Individual
Program name fr
Programme de subventions à la découverte - individuelles
Group en
Discovery grants programs
Group fr
Programmes de subventions à la découverte
Committee code
330
Committee name en
Computing and Information Sciences - A
Committee name fr
Informatique - A
Area of application code
801
Area of application group en
Information and communication services
Area of application group fr
Services d'information et de télécommunications
Area of application en
Computer software
Area of application fr
Logiciel
Research subject code
2704
Research subject group en
Information technology
Research subject group fr
Technologie de l'information
Research subject en
Distributed and parallel processing
Research subject fr
Traitement réparti et simultané
Partie
1
Nb partie
1
Application title
GIPSY - General intensional programing system
Keyword
NA
Application summary
The GIPSY project aims at the practical investigation on the intensional programming language paradigm as implemented by the Lucid family of programming languages. Lucid variants range from the famous real-time programming language Lustre, to the C-Lucid hybrid programming system GLU. The Lucid family of programming languages being very eclectic and in constant evolution, the GIPSY project aims at providing a common platform for the compilation, execution and development of Lucid variants. With flexibility and generality in mind, our ongoing research program has allowed us to establish a framework approach to compiler and run-time system construction for the execution of programs written in all variants of Lucid. This approach provides a flexible infrastructure for the semi-automated generation of many components of the GIPSY. Using syntactic and semantic language description and translation rules, components like parsers and semantic analyzers and translators can be automatically generated for all Lucid variants. The compiled programs can be further analyzed to allow optimization of their distributed run-time behavior by implementing various solutions for task scheduling using our semantically sound demand-driven execution model.
We have recently designed a promising multi-tier approach to our run-time system, yielding more flexible and scalable solution to the execution of Lucid programs. We are also in the process of designing and implementing a novel object-oriented version of Lucid that shall make the language more in-line with current industrial trends. Additionally, independent research on intensional programming at the University of New-Brunswick and the University of New South Wales have proven to be compatible with our approach. Part of our future goals is to incorporate results from these teams into our theory and implementation. That shall lead to a unification of current research in the area, and establish the GIPSY as the norm in intensional programming research and development.
