| Pelof语言的一种操作语义模型 |
| |
| 引用本文： | 张松梅.Pelof语言的一种操作语义模型[J].电子科技大学学报(社会科学版),1988(Z2). |
| |
| 作者姓名： | 张松梅 |
| |
| 作者单位： | 成都电讯工程学院计算机系 |
| |
| 摘 要： | Pelof 是一种融合 Petri 网、逻辑和函数三种风格的作用式并行程序设计语言.它的基本成分是谓词和函数,Petri 网体裁提供并行控制的工具.文献5]中给出了 Pelof 语言的文法及设计思想.本文在文献1,2]工作的基础上,以 FFP3]为抽象机,采用形式化的方法为 Pelof 语言塑造了一种操作语义模型.
|
| 关 键 词： | Petri网 逻辑程序设计 函数程序设计 操作语义学 |
AN OPERATIONAL SEMATICS FOR PROGRAMMING LANGUAGE PELOF |
| |
| Zhang Songmei.AN OPERATIONAL SEMATICS FOR PROGRAMMING LANGUAGE PELOF[J].Journal of University of Electronic Science and Technology of China(Social Sciences Edition),1988(Z2). |
| |
| Authors: | Zhang Songmei |
| |
| Institution: | Dept.of Computer Science |
| |
| Abstract: | Pelof is a application parallel programming language which integrates threeprogramming styles:Petri net,logic and functional.Pelof takes functional andHorn clause as its basic paradigms and petri net as its concurrency controlmechanism,5]gives the Pelof's syntax and some considerations in design-ing.Based on the work of1,2],this paper formally describes an operationalsematics in a FFP3]abstract machine for programming language pelof. |
| |
| Keywords: | Petri net logic programming functional programming operational sematics |
| 本文献已被 CNKI 等数据库收录！ |
