%0 Journal Article
%T 基于ccs执行模型的逻辑式语言polylog的设计与实现
%A 徐凯？
%A 章萃？
%J 软件学报
%P 1-8
%D 1992
%X 本文解决了逻辑式程序设计语言中的二个问题:并行执行模型的选择、语言的执行功效与其使用方便灵活之间的权衡,我们提出了对algorithm=logic+control的新理解,设计并实现了新型逻辑式语言polylog,在polylog中,我们引进了元级控制的概念,ccs执行模型作为内部隐含的元级控制机制,关系类型作为外部显式的元级控制设施,程序的并行性分析在编译阶段完成。
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19920201&flag=1