文件名称：指称语义：语言发展的一种方法论Denotational Semantics: A Methodology for Language Development
文件大小：104B
文件格式：TXT
更新时间：2022-12-05 11:29:45
计算机科学
介绍一种为编程语言和系统赋予数学含义的方法。 从工程的角度提出主题，强调描述和实现方面。
指称语义：语言发展的一种方法论Denotational Semantics: A Methodology for Language Development
【文件属性】：