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

徐凯; 章萃

首页> 中文期刊> 《软件学报》 >基于CCS执行模型的逻辑式语言POLYLOG的设计与实现

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《软件学报》 |1992年第2期|1-8|共8页
作者
徐凯; 章萃;
展开▼
作者单位

不详;

不详;

展开▼
原文格式 PDF
正文语种 CHI
中图分类 TP312PO;
关键词
逻辑式语言; 执行模型; POLYLOG语言;

相似文献

中文文献
外文文献
专利

1. CCS:一个新的逻辑式程序设计语言的并行执行模型 [J] . 章萃 . 计算机研究与发展 . 1991,第007期
2. 逻辑式程序设计语言的CCS执行模型的静态实现方法 [J] . 江文青 ,蒋雪明 . 计算机技术 . 1989,第006期
3. 基于JAIN SLEE的业务逻辑执行环境的设计与实现 [J] . 闫鹏 ,廖建新 ,林秀琴 . 电信工程技术与标准化 . 2006,第012期
4. 我国装配式建筑政策执行的现实困境与完善路径——基于米特-霍恩政策执行模型的视角 [J] . 陈婉菁 ,吴泽斌 . 建筑经济 . 2021,第008期
5. 基于C++语言转换的TTCN-3执行器的设计与实现 [J] . 蒋凡 ,张辉 . 中国科学技术大学学报 . 2007,第009期
6. 等式型函数逻辑型语言执行机制的研究 [C] . 田新民 . 第一届中国人工智能联合学术会 . 1990
7. CA-CCML语言描述的Web服务组合模型执行研究 [A] . 孙柏东 . 2016

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

摘要

著录项

相似文献

相关主题

期刊订阅