GIPSY - General intensional programing system

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

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.