基于CCS执行模型的逻辑式语言POLYLOG的设计与实现  

DESIGN AND IMPLEMENTATION OF THE NEW LOGIC PROGRAMMING LANGUAGE POLYLOG BASED ON THE CCS EXECUTION MODEL

作　　者：徐凯[1] 章萃[1] 

机构地区：[1]复旦大学计算机科学系,上海,200433

出　　处：《软件学报》1992年第2期1-8,共8页Journal of Software

基　　金：国家科学基金会资助

摘　　要：本文解决了逻辑式程序设计语言中的二个问题:并行执行模型的选择、语言的执行功效与其使用方便灵活之间的权衡,我们提出了对Algorithm=Logic+Control的新理解, 设计并实现了新型逻辑式语言POLYLOG,在POLYLOG中,我们引进了元级控制的概念,CCS执行模型作为内部隐含的元级控制机制,关系类型作为外部显式的元级控制设施,程序的并行性分析在编译阶段完成。In this paper, we have solved two problems in logic programming language, i.e., the selection of parallel execution model and the trade off between running efficiency and using flexibility. We proposed a new comprehension on 'Algorithm=Logic+Control', designed and implemented a new programming language POLYLOG. In POLYLOG, the concept of meta control is introduced. The CCS Execution Model is taken to be the internal implied meta control mechanism, and the Relation Type is taken to be the external explicit meta control facility. The parallelism analysis is finished at the compilation time.

关 键 词：逻辑式语言 执行模型 POLYLOG语言 

分 类 号：TP312PO[自动化与计算机技术—计算机软件与理论]