×

阅读、写作和关系。面向效果分析的扩展语义。 (英语) Zbl 1168.68356号

Naoki Kobayashi(编辑),《编程语言和系统》。第四届亚洲研讨会,2006年APLAS,2006年11月8日至10日,澳大利亚悉尼。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-48937-5/pbk)。计算机科学课堂讲稿4279114-130(2006)。
小结:我们为效果系统提供了一个基本语义,通过在原始语言的标准扩展语义上使用关系来跟踪读写效果。语义建立了分析的可靠性及其在基于效果的程序转换中的使用。
关于整个系列,请参见[Zbl 1133.68007号].

MSC公司:

68号30 软件工程的数学方面(规范、验证、度量、需求等)
68问题55 计算理论中的语义学
PDF格式BibTeX公司 XML格式引用
全文: 内政部