| Concurrent Constraint Programming：A Language and Its Execution Model |
| 廖乐健 曹元大 |
| 关键词：程序语言 并行约束设计 并行约束程序 约束补偿 约束逻辑程序 CCP 编程 |
| 主要内容：To overcome inefficiency in traditional logic programming,a declarative programming language COPS is designed based on the notion of concurrent constraint programming(CCP).The improvement is achieved by the adoption of constraint-based heuristic strategy and the introduction of deterministic components in the frame-work of CCP.Syntax specification and an operational semantic description are presented. |
| 《北京理工大学学报：英文版》 2003,12(1).-37-41 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号