Constraint Imperative Programming

约束命令式编程

• 批准号: 9402551
• 负责人: Alan Borning
• 金额: $ 18.2万
• 依托单位: University of Washington
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1994
• 资助国家: 美国
• 起止时间: 1994-08-01 至 1998-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9402551&HistoricalAwards=false
• 关键词: Constraint; Imperative; Programming

This project continues work on Constraint Imperative Programming (CIP) languages. A constraint represents a relation that should be maintained by a computer program. Constraints have a number of desirable properties that make them useful in building systems such as interactive graphical applications. They are declarative statements, rather than imperative statement; a programmer need only to state ``what'' rather than ``how''. Additional advantages result from embedding support for constraints in the programming language itself. First, it becomes convenient for programmers to use constraints. Second, the language implementation can ensure that the constraints are checked automatically. Third, a more uniform and elegant language can result from expressing standard constructs as constraints. Finally, more opportunities for optimization are opened to the compiler. In this project, the activities include investigating techniques for compiling object-oriented constraint imperative languages, such as Kaleidoscope, to produce efficient code. To accomplish this, the system does as much compile time analysis of the constraints as possible. Other activities include developing tools for writing, browsing, and debugging constraint imperative programs, investigating the compilation of Kaleidoscope programs to run on shared memory MIMD machines, and testing the utility of this class of languages by programming a set of representative applications. Another important focus is the development of a more efficient and powerful constraint satisfaction algorithm. A final activity is work on debugging support for constraint systems. The work on constraint satisfaction algorithms and debugging is useful both to support constraint imperative languages, as well as other kinds of constraint-based systems.

该项目继续致力于约束命令式编程 (CIP) 语言。约束表示应由计算机程序维护的关系。约束具有许多理想的属性，这使得它们在构建交互式图形应用程序等系统时非常有用。它们是陈述性陈述，而不是命令性陈述；程序员只需要陈述“什么”而不是“如何”。在编程语言本身中嵌入对约束的支持还带来了额外的优势。首先，程序员使用约束变得很方便。其次，语言实现可以确保自动检查约束。第三，通过将标准结构表达为约束可以产生更加统一和优雅的语言。 最后，为编译器提供了更多优化机会。 在此项目中，活动包括研究编译面向对象约束命令式语言（例如 Kaleidscope）的技术，以生成高效的代码。为了实现这一点，系统对约束进行尽可能多的编译时分析。 其他活动包括开发用于编写、浏览和调试约束命令式程序的工具，研究在共享内存 MIMD 机器上运行的 Kaleidoscopy 程序的编译，以及通过编写一组代表性应用程序来测试此类语言的实用性。另一个重要的焦点是开发更高效、更强大的约束满足算法。最后一项活动是调试对约束系统的支持。约束满足算法和调试方面的工作对于支持约束命令式语言以及其他类型的基于约束的系统都很有用。