Compiler Development Using Logic Programming

使用逻辑编程进行编译器开发

• 批准号: 9115326
• 负责人: Jacques Cohen
• 金额: $ 23.06万
• 依托单位: Brandeis University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-12-01 至 1995-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9115326&HistoricalAwards=false
• 关键词: Compiler; Development; Using; Logic; Programming

The focus of this research is the development of compilers and interpreters for Constraint Logic Programming (CPL) languages. This class of languages includes Prolog, and it offers the users the capabilities of solving problems in various domains, such as the reals, booleans, and strings. Research is planned in the following subareas. 1. Meta-level interpretation: Study modular interpretation of CLP languages in various domains. 2. Optimization: Investigate partial evaluation to CLP programs over various domains. 3. Parallelism: Develop accurate performance models of OR-parallel program execution. 4. Extensions of CLP: Integrate functional, set-theoretic, and CLP languages in a single semantic framework.

本研究的重点是约束逻辑编程语言的编译器和解释器的开发。这类语言包括Prolog，它为用户提供了解决各种领域问题的能力，例如实数、布尔值和字符串。计划在下列分领域进行研究。1. 元级解释：研究CLP语言在不同领域的模块化解释。2. 优化：研究不同领域的CLP程序的部分评估。3. 并行性：开发or并行程序执行的准确性能模型。4. CLP的扩展：将功能语言、集合论语言和CLP语言集成到一个语义框架中。