尼克·本顿;安德鲁·肯尼迪;马丁·霍夫曼;伦纳特·贝林格 阅读、写作和关系。面向效果分析的扩展语义。 (英语) Zbl 1168.68356号 Naoki Kobayashi(编辑),《编程语言和系统》。第四届亚洲研讨会,2006年APLAS,2006年11月8日至10日,澳大利亚悉尼。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-48937-5/pbk)。计算机科学课堂讲稿4279114-130(2006)。 小结:我们为效果系统提供了一个基本语义,通过在原始语言的标准扩展语义上使用关系来跟踪读写效果。语义建立了分析的可靠性及其在基于效果的程序转换中的使用。关于整个系列,请参见[Zbl 1133.68007号]. 引用于7文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68问题55 计算理论中的语义学 PDF格式BibTeX公司 XML格式引用 \textit{N.Benton}等人,Lect。注释计算。科学。4279、114--130(2006年;Zbl 1168.68356) 全文: 内政部