检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:钱树人[1]
机构地区:[1]南京大学计算机科学与技术系
出 处:《计算机研究与发展》1994年第7期37-41,共5页Journal of Computer Research and Development
摘 要:本文讨论了通常程序设计语言的语义理解问题且提出了若干定义和概念,进而又论述了在不同层次上的等价性,从而为程序的转换和替代建立理论依据。本文还分析了程序设计语言及其源程序中的语境问题并提出了若干概念和定义,为软件移植性等的量化刻划提供帮助。In this paper, semantic nuderstanding of programming languages is discussed, some definitions and conceptions are presented, equality in different levels is analyzed, and the theoretical criterions is established for conversion and replacement of programs.And in this paper, languageenvironment (context) is analyzed and several conceptions are introduced.
分 类 号:TP312[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.117