Constraint Imperative Programming Languages for Building Interactive Systems

这是研究针对发展的约束势在必行 用于构建交互式系统的编程语言。 一 约束语言允许程序员指定关系 由底层系统维护。 的 开发约束命令式编程（CIP）方法 已经发展到将约束和命令 范例 这项工作将试图提高退出速度， 开发面向对象的CIP语言编译器， 生成高效的代码。 该研究将调查 对于给定的用户输入要采取的动作序列可以 在强制约束环境中表示。 工作 将包括对书写、浏览和 调试约束命令程序。

This is research aims at the development of constraint imperative programming languages for building interactive systems. A constraint language allows the programmer to specify relations that are to be maintained by the underlying system. The development of a constraint imperative programming (CIP) approach has been developed to integrate the constraint and imperative paradigms. This work will attempt to improve exiting speed by development of a compiler for object-oriented CIP languages to produce efficient code. The research will investigate how the sequence of actions to be taken for a given user input can be represented in a constraint imperative environment. The work will include the investigation of tools for writing, browsing and debugging constraint imperative programs.