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; 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变体范围从著名的实时编程语言光泽到C-Lucid Hybrid编程系统GLU。吉普赛项目的清晰编程语言家族非常折衷，并且不断发展，旨在为清醒变体的编译，执行和开发提供一个共同的平台。考虑到灵活性和普遍性，我们正在进行的研究计划使我们能够建立一种编译器和运行时系统构建的框架方法，以执行用Lucid的所有变体编写的程序。这种方法为吉普赛人的许多组成部分的半自动产生提供了灵活的基础架构。使用句法和语义语言描述和翻译规则，可以自动为所有清醒变体生成解析器和语义分析仪和翻译器之类的组件。可以进一步分析编译的程序，以通过使用我们的语义声音需求驱动的执行模型实施各种解决方案来优化其分布式运行时行为。