指称语义:语言发展的一种方法论Denotational Semantics: A Methodology for Language Development
介绍一种为编程语言和系统赋予数学含义的方法。 从工程的角度提出主题,强调描述和实现方面。
下载地址
用户评论
