###
DOI:
Journal of Software:1992.3(2):1-8

基于CCS执行模型的逻辑式语言POLYLOG的设计与实现
徐凯,章萃
(复旦大学计算机科学系 上海 200433)
DESIGN AND IMPLEMENTATION OF THE NEW LOGIC PROGRAMMING LANGUAGE POLYLOG BASED ON THE CCS EXECUTION MODEL
Xu Kai,Zhang Cui
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3136   Download 2673
Received:October 05, 1989    Revised:July 12, 1990
> 中文摘要: 本文解决了逻辑式程序设计语言中的二个问题:并行执行模型的选择、语言的执行功效与其使用方便灵活之间的权衡,我们提出了对Algorithm=Logic+Control的新理解, 设计并实现了新型逻辑式语言POLYLOG,在POLYLOG中,我们引进了元级控制的概念,CCS执行模型作为内部隐含的元级控制机制,关系类型作为外部显式的元级控制设施,程序的并行性分析在编译阶段完成。
中文关键词:
Abstract: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.
keywords:
文章编号:     中图分类号:    文献标志码:
基金项目:国家科学基金会资助 国家科学基金会资助
Foundation items:
Reference text:

徐凯,章萃.基于CCS执行模型的逻辑式语言POLYLOG的设计与实现.软件学报,1992,3(2):1-8

Xu Kai,Zhang Cui.DESIGN AND IMPLEMENTATION OF THE NEW LOGIC PROGRAMMING LANGUAGE POLYLOG BASED ON THE CCS EXECUTION MODEL.Journal of Software,1992,3(2):1-8