接续指称语义相关论文
指称语义分为直接指称语义和接续指称语义,其中后一种语义描述的难度较大.给出了直接指称语义描述到接续指称语义描述的转换方法,......
本文给出了从过程式程序到函数式程序的转换规则，这些转换规则是从语言的接续指称语义推导出来的，我们考虑了ＧＯＴＯ语句的处理，因此，我们的方......
