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

本文解决了逻辑式程序设计语言中的二个问题:并行执行模型的选择、语言的执行功效与其使用方便灵活之间的权衡,我们提出了对algorithm=logic+control的新理解,设计并实现了新型逻辑式语言polylog,在polylog中,我们引进了元级控制的概念,ccs执行模型作为内部隐含的元级控制机制,关系类型作为外部显式的元级控制设施,程序的并行性分析在编译阶段完成。