论文部分内容阅读
指称语义分为直接指称语义和接续指称语义,其中后一种语义描述的难度较大.给出了直接指称语义描述到接续指称语义描述的转换方法,这就使得这种语义转换的自动化成为可能.转换算法揭示了直接指称语义与接续指称语义之间的内在关系,同时也提供了写接续指称语义描述的有效方法.当需要检验同一种语言的直接指称语义描述和接续指称语义描述是否等价时,提供的技术是很有用的.