×

occam的一种操作语义。 (英语) Zbl 0701.68072号

概述:occam是一种编程语言,旨在支持并发应用程序,尤其是在通信处理器网络上实现的应用程序。本文的目的是通过语义定义来表述occam语言结构的含义,语义定义旨在对编程语言手册中常见的非正式描述进行形式化。这是通过定义语法导向的转换系统来实现的,其中与短语关联的转换是与其组件关联的转换的函数。首次提出了occam子集的操作语义;这包括静态和动态行为的语义。主要的新颖之处是优先级交替的语义,这是根据并行上下文无法沿某些通道进行通信来定义的。

MSC公司:

68问题55 计算理论中的语义学
68甲15 编程语言理论
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] INMOS ltd.occam编程手册,普伦蒂斯·霍尔计算机科学国际系列(1984)。
[2] 戈登。D.Plotkin,《操作语义的结构方法》,丹麦奥胡斯大学计算机科学系(1981年9月)·Zbl 1082.68062号
[3] 戈登。D.Plotkin,CSP的操作语义,Proc。IFIP WG 2.2编程概念正式描述工作会议II(1982年)·Zbl 0506.68025号
[4] C.A.R.Hoare,《通信顺序过程》,普伦蒂斯·霍尔计算机科学国际丛书(1985年)·Zbl 0637.68007号
[5] 李伟,《Ada中任务和异常处理的操作语义》,爱丁堡大学计算机科学系(1981年12月)。
[6] 吉尔斯·卡恩(Gilles Kahn),《自然语义》(Natural Semantics),Recherche Rapports de 601 INRIA SOPHIA-ANTIPOLIS 06560 Valbonne,France(1987年2月)。
[7] 约翰·雷诺兹(John C.Reynolds),《编程技巧》(The Craft of Programming),普伦蒂斯·霍尔(Prentice Hall)计算机科学国际系列(1981)·Zbl 0476.68010号
[8] INMOS ltd.occam2参考手册,普伦蒂斯·霍尔计算机科学国际丛书(1988)。
[9] Juanito Camilleri,《向CCS介绍优先运营商》,剑桥大学计算机实验室,修订草案(1990年5月)·Zbl 0818.68107号
[10] G.Costa和C.Stirling,《CCS中的弱公平和强公平》,第245-264页,计算机科学数学基础,M.P.Chytil和V.Koubek,(编辑)LNCS 176 Springer(1984)·Zbl 0551.68021号
[11] A.W.Roscoe,《指称语义foroccam》,《计算机科学讲义》,Springer-Verlag系列第197期(1985年)。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。