GIPSY - General intensional programing system

GIPSY - 通用内涵编程系统

• 批准号: 227820-2009
• 负责人: Paquet, Joey
• 金额: $ 1.09万
• 依托单位: Concordia University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2009
• 资助国家: 加拿大
• 起止时间: 2009-01-01 至 2010-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=425285
• 关键词: GIPSY; General; intensional; programing; system

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.

GIPSY项目旨在对Lucid编程语言家族实现的内涵编程语言范式进行实际调查。Lucid的变体从著名的实时编程语言Lustre到C-Lucid混合编程系统GLU。Lucid家族的编程语言是非常兼收并蓄的，并且在不断发展，GIPSY项目旨在为Lucid变体的编译，执行和开发提供一个通用平台。考虑到灵活性和通用性，我们正在进行的研究计划，使我们能够建立一个框架的方法来编译器和运行时系统的建设，执行程序编写的所有变种的Lucid。这种方法为GIPSY的许多组件的半自动生成提供了灵活的基础设施。使用语法和语义语言描述和翻译规则，可以为所有Lucid变体自动生成解析器、语义分析器和翻译器等组件。编译后的程序可以进一步分析，以允许优化其分布式运行时的行为，通过实现各种解决方案的任务调度使用我们的语义健全的需求驱动的执行模型。