Constraint-Based Languages and Environments for Building Interactive Systems

9302249今年是一个为期三年的连续奖项的第一年，该奖项旨在调查基于约束的语言和系统及其在交互界面中的等级制度的使用情况。本项目的目标是四个特定的基于约束的语言和环境领域：1)研究和开发有效的增量约束满足算法，包括具有循环和多输出约束的系统的算法；2)改进约束满足系统的调试工具和技术；3)将基于约束的语言使用与面向对象的命令式语言相结合；以及4)在探索性交互应用中测试和验证上述三个研究领域的结果，如工作原理电子百科全书。

9302249 Borning This is the first year of a three-year continuing award to investigate the use of the constaint-based languages and systems and their hirarchies in interactive interfaces. Four specific constraint-based language and environment areas are targeted in this project: 1) the study and development of efficient incremental constraint satifaction alogrithms, including algorithms for systems with cycles and constraints with multiple outputs, 2) the improvement of debugging tools and techniques for constraint satisfaction systems, 3) the integration of the constraint-based language use with an object-oriented imperative language, and 4) the testing and validation of results from the three previously mentioned research areas in an exploratory interactive application such as a how-things-work electronic encyclopedia.