×

有序SOS的含义。 (英语) Zbl 1177.68140号

Arun-Kumar,S.(编辑)等人,FSTTCS 2006:软件技术和理论计算机科学基础。第26届国际会议,印度加尔各答,2006年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-49994-7/pbk)。计算机科学课堂讲稿4337,333-344(2006)。
摘要:结构化操作语义(SOS)是一种通过演绎规则定义语义的流行方法。演绎规则或简单的SOS规则的一个重要特征是否定前提,这对于定义优先机制和超时等现象至关重要。Phillips和Ulidowski提出了SOS规则的排序,作为否定前提的替代方案。到目前为止,还没有研究具有排序的SOS规则的一般类型的含义。本文提出了一种令人满意的方法来赋予具有排序的一般SOS规则以意义。我们还给出了两种范式之间的语义保持转换,即具有负前提的SOS和具有排序的SOS。
关于整个系列,请参见[Zbl 1132.68001号].

MSC公司:

68问题55 计算理论中的语义学
PDF格式BibTeX公司 XML格式引用
全文: 内政部